LDL1(ID:1332/ldl002)

Successor to LDL.

Structures:
Related languages
LDL => LDL1   Successor
References:
  • Beeri, C. et al,"Sets and Negation in a Logic Database Language" view details Abstract: In this paper we extend LDL, a Logic Based Database Language, to include finite sets and negation. The new language is called LDL1. We define the notion of a model and show that a negation-free program need not have a model, and that it may have more than one minimal model. We impose syntactic restriction in order to define a deterministic language. These restrictions allow only layered (stratified) programs. We prove that for any program satisfying the syntactic restrictions of layering, there is a minimal model, and that this model can be constructed in a bottom-up fashion. Extensions to the basic grouping mechanism are proposed. We show that these extensions can be translated into equivalent LDL1 programs. Finally, we show how the technique of magic sets can be extended to translate LDL1 programs into equivalent programs which can often be executed more efficiently DOI
          in Proc 6th Ann ACM Symp Princs Database Sys 1987 view details