L D L++ TUTORIAL T O C

Facts, Rules, Queries
Cities Database
Database: Facts and Schema
Rules and Queries
Queries and Query Forms
Constructs
Bottom-Up Computation
More on Rules
Semantics of Rules
Bottom-up Evaluation
Equality Predicate
Safety
Arithmetic
Arithmetic: Example
Recursion
Recursion
Transitive Closure
Recursion: Bill of Materials
Negation and Stratification
Negation
Stratification
Complex Terms, Sets, and Aggregates
Complex Terms and Lists
Sets and SetTerms
Builtin Set Aggregates
Duplicates and Aggregates
Top-Down Execution
If-Then-Else and Choice
The If-The-Else Construct
Existential Variables
Nondetermism with Choice
User-Defined Aggregates
The single and multi rules
The return rules
Monotone Aggregates
XY-Stratification; Metapredicates
XY-stratified Programs
Copy and Delete Rules Optimization
Returning Results and Termination
Choice and User-Defined Aggregates
Meta Predicates
Updates, Imperative Constructs
Database Updates
Semantics of Update Constructs
Updates: Limitations
Updates: Failing Goals
The Forever construct
Imperative Programs
External Interfaces
External DBs (client-server)
External Databases via JDBC
Foreign Language Functions
Stand Alone Interface
Back to Main Menu
Mail  US