Logic and Data Bases
Published on 6. December 2012
VIII, 458 pages
978-1-4684-3384-5 (ISBN)
Description
Zur Zeit liegt uns keine Inhaltsangabe vor.
More details
Other editions
Additional editions
Hervé Gallaire | Jack Minker
Logic and Data Bases
Book
03/2013
Springer
€53.49
Shipment within 15-20 days
Hervae Gallaire | Jack Minker
Logic and Data Bases
Book
11/1978
Springer
€111.07
Article exhausted; check different version
Content
An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relational Data Base System Based on Logic.- Deductive Question-Answering on Relational Data Bases.- Deductive Planning and Pathfinding for Relational Data Bases.- DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.- Nondeterministic Languages Used for the Definition of Data Models.- An Axiomatic Data Base Theory.- Negative Information and Data Bases.- Negation as Failure.- Logic and Data Base Integrity.- Integrity Checking in Deductive Data Bases.- Query Languages and Applications.- The Application of PROLOG to the Development of QA and DBM Systems.- The Predicate Calculus-Language KS as a Query Language.- High Level Data Base Query Languages.- Author Index.- List of Referees.- Addresses of Contributing Authors.
