Logic and Databases: An Assessment.

@inproceedings{DBLP:conf/icdt/GallaireN90,
  author    = {Herv{\'e} Gallaire and
               Jean-Marie Nicolas},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {Logic and Databases: An Assessment},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {177-186},
  ee        = {db/conf/icdt/GallaireN90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX

[3]

Nicole Bidoit, Christine Froidevaux: More on Stratified Default Theories. ECAI 1988: 492-494 BibTeX

[4]

Jorge B. Bocca: EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. SLP 1986: 36-45 BibTeX

[5]

Jorge B. Bocca: Compilation of Logic Programs to Implement Very Large Knowledge Base Systems - A Case Study: Educe*. ICDE 1990: 361-369 BibTeX

[6]

François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 BibTeX

[7]

François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44 BibTeX

[8]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX

[9]

François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139 BibTeX

[10]

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 BibTeX

[11]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[12]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX

[13]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[14]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX

[15]

Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985) BibTeX

[16]

Michael Freeston: Advances in the Design of the BANG File. FODO 1989: 322-338 BibTeX

[17]

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX

[18]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX

[19]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[20]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[21]

Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308(1987) BibTeX

[22]

...

[23]

John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987) BibTeX

[24]

Rainer Manthey: Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. FMLDO 1990: 169-179 BibTeX

[25]

Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas: Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme 1989: 17-32 BibTeX

[26]

Jack Minker: Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60(1988) BibTeX

[27]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[28]

Halina Przymusinska, Teodor C. Przymusinski: Weakly Perfect Model Semantics for Logic Programs. ICLP/SLP 1988: 1106-1120 BibTeX

[29]

...

[30]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[31]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[32]

Raymond Reiter: What Should a Database Know? ICLP 1990: 765 BibTeX

[33]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX

[34]

Hirohisa Seki: On the Power of Alexander Templates. PODS 1989: 150-159 BibTeX

[35]

...

[36]

Jeffrey D. Ullman: Bottom-Up Beats Top-Down for Datalog. PODS 1989: 140-149 BibTeX

[37]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[38]

Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 149-176 BibTeX

[39]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[40]

Laurent Vieille: Recursive Query Processing: The Power of Logic. Theor. Comput. Sci. 69(1): 1-53(1989) BibTeX

[41]

...

[42]

Mark Wallace: A Computable Semantics for General Logic Programs. J. Log. Program. 6(3): 269-297(1989) BibTeX

Referenced by

1. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
2. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. DBPL 1995: 4