Logic and Data Bases

Keyphrases

Publications

1977

Keith L. Clark
Negation as Failure. Logic and Data Bases (1977)
Sten-Åke Tärnlund
An Axiomatic Data Base Theory. Logic and Data Bases (1977)
Raymond Reiter
Deductive Question-Answering on Relational Data Bases. Logic and Data Bases (1977)
Werner Dilger, Gisela Zifonun
The Predicate Calculus-Language KS as a Query Language. Logic and Data Bases (1977)
Jean-Marie Nicolas, Kioumars Yazdanian
Integrity Checking in Deductive Data Bases. Logic and Data Bases (1977)
Ivan Futó, Ferenc Darvas, Péter Szeredi
The Application of Prolog to the Development of QA and DBM Systems. Logic and Data Bases (1977)
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
An Overview and Introduction to Logic and Data Bases. Logic and Data Bases (1977)
Charles Kellogg, Philip Klahr, Larry Travis
Deductive Planning and Pathfinding for Relational Data Bases. Logic and Data Bases (1977)
Robert A. Kowalski
Logic for Data Description. Logic and Data Bases (1977)
Jean-Marie Nicolas, Hervé Gallaire
Data Base: Theory vs. Interpretation. Logic and Data Bases (1977)
Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti
Nondeterministic Languages Used for the Definition of Data Models. Logic and Data Bases (1977)
Alain Pirotte
High Level Data Base Query Languages. Logic and Data Bases (1977)
Chin-Liang Chang
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases (1977)
Jack Minker
An Experimental Relational Data Base System Based on Logic. Logic and Data Bases (1977)
Raymond Reiter
On Closed World Data Bases. Logic and Data Bases (1977)