Previous: Title Page Previous: Cities Database

    LDL++ Tutorial: Table of Contents

    Facts, Rules, and Queries 
    • Cities Database 
    • Database: Facts and Schema 
    • Rules and Queries 
    • Queries and Query Forms 
    • Constructs 
    Bottom Up Computation of rules 
    • 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 

    • XY-stratified Programs 
    • Copy and Delete Rules Optimization 
    • Returning Results and Termination 
    • Choice and User-Defined Aggregates 

    Meta Predicates

    Updates and Imperative Constructs 
    • Database Updates 
    • Semantics of Update Constructs 
    • Updates: Limitations 
    • Updates: Failing Goals 
    • The Forever construct 
    • Imperative Programs 

    External DBs (client-server connection)

    External Databases via JDBC

    Foreign Language Functions

    Stand Alone Interface
    Programs and associated facts in this tutorial are always downloadable by clicking the following icons at the topright corner of the section.

    LDL++ programs
    Associated facts
    The programs and facts are available under the shared directory of LDL++ Java Interface.
    Carlo Zaniolo, 1997