Deductive Databases and Their Applications. (2014)

• Record Type: Book
• Further Information: Note: Editor, Robert Colomb.
• Editors: Colomb, Robert
• Contents: Cover; Half Title; Dedication; Title Page; Copyright Page; Table of Contents; Preface; 1 Introduction; 1.1 The origins of deductive database technology; 1.2 Sketch of the technology; 1.3 Sketch of some applications; 1.4 Sketch of the mathematical basis; 1.5 Plan of the book; 1.6 Further reading; 1.7 Exercises; 2 Summary of Prolog; 2.1 Basics; 2.2 Computing with a Prolog program; 2.3 Negated goals; 2.4 Updates; 2.5 All solutions; 2.6 Discussion; 2.7 Summary; 2.8 Further reading; 2.9 Exercises; 3 Prolog and databases; 3.1 Prolog and the relational algebra; 3.2 Persistent Prolog implementation 3.3 Relational representation of complex data types3.4 Summary; 3.5 Further reading; 3.6 Exercises; 4 Datalog and bottom-up evaluation; 4.1 Datalog; 4.2 Semi-naive bottom-up algorithm; 4.3 Negation and stratification; 4.4 Aggregation; 4.5 Top-down revisited; 4.6 The artificial intelligence perspective: production rules; 4.7 Active databases; 4.8 Structure; 4.9 Summary; 4.10 Further reading; 4.11 Exercises; 5 Knowledge design; 5.1 Data, information and knowledge; 5.2 Modelling knowledge; 5.3 Designing a knowledge base; 5.4 Hierarchical thesaurus example 5.5 Other forms of knowledge: production rules5.6 Summary; 5.7 Further reading; 5.8 Exercises; 6 Building a knowledge base; 6.1 Knowledge acquisition; 6.2 Product of data and information analysis; 6.3 Building the knowledge model; 6.4 CASE tool for the knowledge model; 6.5 The CASE tool; 6.6 Repository as a deductive database; 6.7 Summary; 6.8 Further reading; 6.9 Exercises; 7 Knowledge quality; 7.1 Quality and maintainability; 7.2 Normalized information; 7.3 Quality principles for data, information and knowledge; 7.4 Example; 7.5 Discussion; 7.6 Summary; 7.7 Further reading; 7.8 Exercises 8 Magic sets8.1 Bottom-up evaluation as a practical method; 8.2 Datalog and relational algebra revisited; 8.3 Preliminaries: transforming the DDB into canonical form; 8.4 Magic sets transformation; 8.5 Linear recursion; 8.6 Summary; 8.7 Further reading; 8.8 Exercises; 9 Unfolding and folding; 9.1 Unfolding; 9.2 Folding; 9.3 Example of folding and unfolding; 9.4 Summary; 9.5 Further reading; 9.6 Exercises; 10 Propositional deductive databases; 10.1 Propositional systems; 10.2 Unfolding applied to propositional systems; 10.3 Applications to semi-propositional production systems; 10.4 Summary 10.5 Further reading10.6 Exercises; 11 Integrity constraints; 11.1 Updates; 11.2 Integrity constraints; 11.3 Integrity constraints as Hom clauses; 11.4 Effect of updates; 11.5 Discussion; 11.6 Summary; 11.7 Further reading; 11.8 Exercises; 12 Non-monotonic reasoning; 12.1 The problem of non-monotonicity; 12.2 Belief revision; 12.3 Assumption-based truth maintenance; 12.4 Summary; 12.5 Further reading; 12.6 Exercises; Solutions to exercises; References; Index
• Publisher Details: Boca Raton, FL : CRC Press
• Publication Date: 2014
• Extent: 1 online resource
• Subjects: 006.3/3; Databases; Databases; Electronic books
• Languages: English
• ISBNs: 9781482267914; 1482267918
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.