An extensible rule-based language with complex objects and data-functions
Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller · Database Programming Languages · 1989
A rule-based database language for complex objects is studied. An algebraic evaluation of rules based on range-restriction conditions is presented. The inference of variable types is considered. The language is extended using external functions and predicates that are defined in a host programming language. The impact of this extension on the power of the language is investigated. Finally, a toy implementation of the language and future extensions are described.