A constraint-based approach to guarded algebraic data types.
Vincent SimonetFrançois PottierPublished in: ACM Trans. Program. Lang. Syst. (2007)
Keyphrases
- data types
- data model
- data structure
- user defined
- database systems
- database management systems
- database server
- back end
- abstract data types
- data mining algorithms
- fixed point
- application programs
- database objects
- query answering
- data sets
- spatiotemporal data
- complex data types
- microsoft sql server
- nearest neighbor
- data analysis
- real world
- databases