A Query Language for Formal Mathematical Libraries.
Florian RabePublished in: AISC/MKM/Calculemus (2012)
Keyphrases
- query language
- mathematical theory
- data model
- object oriented
- expressive power
- query evaluation
- relational algebra
- multimedia
- digital libraries
- database
- complex objects
- algebraic operators
- mathematical expressions
- formal language
- structured documents
- mathematical models
- query interface
- regular expressions
- transitive closure
- formal representation
- data structure
- information systems
- data sets
- real time