Logic Ans Data Bases: [proceedings of the Symposium on Logic and Data Bases Held at the Centre D'Études Et de Recherches de L'École Nationale Supérieure de L'Aéronautique Et de L'Espace de Toulouse (C.E.R.T.)
Hervé Gallaire, Jack Minker
Plenum Publishing Company Limited, 1978 - Computers - 458 pages
Introduction; Data bases viewed through formal logic; Knowledge representation and deduction; Negative information and data bases; Logic and data base integrity; Query languages and applications.
4 pages matching foobar in this book
Results 1-3 of 4
What people are saying - Write a review
We haven't found any reviews in the usual places.
An Overview and Introduction to Logic and Data Bases
DATA BASES VIEWED THROUGH FORMAL LOGIC
NEGATIVE INFORMATION AND DATA BASES
16 other sections not shown
algorithm answer to Q approach arguments atomic formula axioms base relations binary relations canonical terms closed world assumption Codd consistent constant contains data base management data base system Data Bases H data model data-base DB U EDB Deductive Question-Answering defined definition denote described domain example explicitly expressed extensional data base facts formal free variables function Gallaire given graph Horn clauses inference plan integrity constraints intensional interactions interpretation Kowalski laws Logic and Data many-sorted logic McSkimin Minker MRPPS n-ary n-tuples natural language negation negation as failure Nicolas operations order theory output Plenum Press positive literal predicate calculus premises problem procedure PROLOG proof proving quantifiers query evaluation query language Question-Answering Systems recursive Reiter rela relational data base representation represented restricted retrieval Semantic Network specified structure substitution symbols Teacher-of teaches theorem prover tion transformed query tree tuple unification universally quantified virtual relations workspace York