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
15 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 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 teaches theorem prover tion transformed query tree tuple universally quantified virtual relations workspace York