Login / Signup
Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
type checking
database query languages
data types
relational calculus
query processor
object model
abstract data types
expressive power
database
object recognition
data structure
keywords
user defined
relational algebra
data management
data analysis
database systems