Hervé Gallaire, Jack Minker

Logic and Data Bases (eBook, PDF)

• Format: PDF

Produktbeschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer New York
• Seitenzahl: 458
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781468433845
• Artikelnr.: 44183348

Inhaltsangabe

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.