Logic and Data Bases - Rilegato

Gallaire, Herve

Rilegato

ISBN 10: 030640060X ISBN 13: 9780306400605

Casa editrice: Plenum Pub Corp, 1978

Riassunto

Book by None

Su questo libro

Contenuti

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.

Dettagli dell?edizione

• Editore: Plenum Pub Corp
• Data di pubblicazione: 1978
• Lingua: Inglese
• ISBN 10: 030640060X
• ISBN 13: 9780306400605
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 466
• Redattore: Minker J.
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania