The semantics of BI and resource tableaux.
Didier GalmicheDaniel MéryDavid J. PymPublished in: Math. Struct. Comput. Sci. (2005)
Keyphrases
- formal semantics
- business intelligence
- decision procedures
- resource allocation
- model theoretic
- logic programming
- modal logic
- artificial intelligence
- functional dependencies
- resource management
- resource constraints
- data sources
- logical framework
- resource consumption
- operational semantics
- relational databases
- conditional logic
- databases