UID:
almahu_9948621427002882
Format:
VIII, 458 p. 1 illus.
,
online resource.
Edition:
1st ed. 1978.
ISBN:
9781468433845
Note:
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
Additional Edition:
Printed edition: ISBN 9781468433869
Additional Edition:
Printed edition: ISBN 9781468433852
Additional Edition:
Printed edition: ISBN 9780306400605
Language:
English
DOI:
10.1007/978-1-4684-3384-5
URL:
https://doi.org/10.1007/978-1-4684-3384-5
