Axiomatisation and decidability of multi-dimensional Duration Calculus.
Andreas SchäferPublished in: Inf. Comput. (2007)
Keyphrases
- multi dimensional
- type checking
- description logics
- modal logic
- inference rules
- query answering
- range queries
- decision procedures
- functional dependencies
- database query languages
- multiple dimensions
- sequential pattern mining
- index structure
- high dimensional
- data cube
- automated deduction
- computer algebra
- sequent calculus
- multi dimensional data
- sequential patterns
- query processing
- formal language
- expert systems
- data sets