Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals.
Marc FinthammerChristoph BeierlePublished in: KI (2012)
Keyphrases
- relational algebra
- conditional logic
- relational operators
- relational calculus
- default rules
- data model
- database query languages
- relational databases
- formal semantics
- relational model
- belief revision
- default reasoning
- semantic information
- aggregate functions
- relational schema
- proof theoretic
- query language
- relational data model
- connected components
- relational structures
- database
- relational learning
- transformation rules
- algebraic operations
- logic programming
- relational data
- expressive power
- object identity
- dynamic aspects
- complex objects