Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID0th ADBT 1977: Toulouse, France
- Hervé Gallaire, Jack Minker:
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977. Advances in Data Base Theory, Plemum Press 1978, ISBN 0-306-40060-X
Introduction
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
An Overview and Introduction to Logic and Data Bases. 3-30
Data Bases Viewed Through Formal Logic
- Jean-Marie Nicolas, Hervé Gallaire:
Data Base: Theory vs. Interpretation. 33-54 - Raymond Reiter:
On Closed World Data Bases. 55-76 - Robert A. Kowalski:
Logic for Data Description. 77-103
Knowledge Representation and Deduction
- Jack Minker:
An Experimental Relational Data Base System Based on Logic. 107-147 - Raymond Reiter:
Deductive Question-Answering on Relational Data Bases. 149-177 - Charles Kellogg, Philip Klahr, Larry Travis:
Deductive Planning and Pathfinding for Relational Data Bases. 179-200 - Chin-Liang Chang:
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. 201-236 - Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti:
Nondeterministic Languages Used for the Definition of Data Models. 237-257 - Sten-Åke Tärnlund:
An Axiomatic Data Base Theory. 259-289
Negative Information and Data Bases
- Keith L. Clark:
Negation as Failure. 293-322
Logic and Data Base Integrity
- Jean-Marie Nicolas, Kioumars Yazdanian:
Integrity Checking in Deductive Data Bases. 325-344
Query Languages and Applications
- Ivan Futó, Ferenc Darvas, Péter Szeredi:
The Application of Prolog to the Development of QA and DBM Systems. 347-376 - Werner Dilger, Gisela Zifonun:
The Predicate Calculus-Language KS as a Query Language. 377-408 - Alain Pirotte:
High Level Data Base Query Languages. 409-436
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-18 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
