Axiomatisation and Decidability of Multi-dimensional Duration Calculus.
Andreas SchäferPublished in: TIME (2005)
Keyphrases
- multi dimensional
- type checking
- description logics
- modal logic
- range queries
- decision procedures
- multiple dimensions
- functional dependencies
- index structure
- query answering
- multi dimensional data
- sequential pattern mining
- automated deduction
- inference rules
- database query languages
- algebraic structure
- computer algebra
- high dimensional
- data cube
- computational properties
- sequent calculus
- neural network
- bitmap indices