Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes.
Yann LoyerNicolas SpyratosPublished in: BDA (2002)
Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- logic programming
- datalog programs
- higher education
- integrity constraints
- technology enhanced
- data complexity
- relational algebra
- ontology based data access
- transitive closure
- m learning
- databases
- data exchange
- relational calculus
- dl programs
- corporate training
- existentially quantified
- data model