UID:
almahu_9948621427002882
Umfang:
VIII, 458 p. 1 illus.
,
online resource.
Ausgabe:
1st ed. 1978.
ISBN:
9781468433845
Anmerkung:
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.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9781468433869
Weitere Ausg.:
Printed edition: ISBN 9781468433852
Weitere Ausg.:
Printed edition: ISBN 9780306400605
Sprache:
Englisch
DOI:
10.1007/978-1-4684-3384-5
URL:
https://doi.org/10.1007/978-1-4684-3384-5
