海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Deductive and Object-Oriented Databases Volume 566 || Updating deductive databases with functional dependenciesDelobel, C.; Kifer, M.; Masunaga, Y. · 1991
Lecture Notes in Computer Science 760 Deductive and Object-Oriented Databases Third InternationalConDOOD93 · Springer-Verlag · 1993
[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || Disjunctive deductive databasesVoronkov, Andrei · 1992
[Lecture Notes in Computer Science] Deductive and Object-Oriented Databases Volume 566 || A comparison between deductive and object-oriented database systemsDelobel, C.; Kifer, M.; Masunaga, Y. · 1991
[Lecture Notes in Computer Science] LOGIDATA+: Deductive Databases with Complex Objects Volume 701 || The LOGIDATA+ language and semanticsAtzeni, Paolo · 1993
[Lecture Notes in Computer Science] Transactions and Change in Logic Databases Volume 1472 || Some notes on knowledge assimilation in deductive databasesFreitag, Burkhard; Decker, Hendrik; Kifer, Michael; Voronkov, Andrei · 1998
[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On deductive planning and the frame problemVoronkov, Andrei · 1992
[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 1134 || Partial semantics for disjunctive deductive databasesWagner, Roland R.; Thoma, Helmut · 1996
[Lecture Notes in Computer Science] Deductive and Object-Oriented Databases Volume 1341 || Datalog++: A basis for active object-oriented databasesBry, François; Ramakrishnan, Raghu; Ramamohanarao, Kotagiri · 1997