Logic and Data Bases
Hervé Gallaire, Jack Minker, [Anonymus AC02843240]
Springer US, Nov 30, 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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
DATA BASES VIEWED THROUGH FORMAL LOGIC
NEGATIVE INFORMATION AND DATA BASES
16 other sections not shown
Other editions - View all
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 delete denote dept=y described domain example explicitly expressed facts formal function Gallaire given graph Horn clauses inference plan INSERT k'.d 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 structure substitution symbols Teach Teacher-of theorem prover tion transformed query tree tuple universally quantified virtual relations workspace York