Contents

• List of Figures
• List of Tables
• Introduction
  • Databases
  • Areas of applications
  • Limitations
  • Goal of the thesis
  • Contents of the dissertation
  
  
• Analysis of the Problem
  • SQL
  • Beyond SQL: Two generic problems
  • Graph Traversal Problem
  • Subset Selection Problem
  • Thesis
  • Solution outline
  
  
• Relational Databases
  • The Relational Model
  • Relational algebra operations
  • Query language
  • Server-side processing
  
  
• Logic as a Data Model
  • Datalog Basis
  • Horn Clauses
  • Logic Program
  • Safe Rules
  
  
• Deductive Databases
  • Foundations
  • Deductive Database Systems
  • From Relational Databases to Deductive Databases
  
  
• Prolog
  • Knowledge representation
  • Inference process
  • Controlling the inference process
  • Knowledge processing
  
  
• Rule-based Systems
  • Basic formalism
  • Inference
  • Models for rule interpreters
  • Some definitions
  
  
• Extending knowledge processing capabilities
  • Requirements
  • Solution
  • Decomposing intensional knowledge
  • User, inference engine, and RDBMS interactions
  • Internal and External Matchings
  • An example
  
  
• Solution Analysis and Properties
  • Relational Model vs. Logic Programs
  • Solvable problems
  • Decomposed logic program
  
  
• Design
  • Coupling
  • Tight coupling
  • Loose coupling
  • Communication methods
  • Query processing
  • Storing results
  • Referring to Jelly Views
  • Jelly View arguments
  • Data flow in the system
  
  
• Implementation
  • Selecting software
  • Details of the decomposition
  • Modules of the system
  • Extensional knowledge
  • Inferred knowledge
  
  
• Illustrative examples
  • Browsing a tree structure
  • The Reverse Aggregation
  
  
• Conclusion
  • The main results
  • Future Improvements
  • Acknowledgement
  
  
• Bibliography