VOQL*: A Visual Object Query Language With Inductively Defined Formal Semantics.
Suk Kyoon LeeKyu-Young WhangPublished in: J. Vis. Lang. Comput. (2001)
Keyphrases
- formal semantics
- query language
- data model
- formal language
- logical language
- ontology languages
- logical reasoning
- first order logic
- er model
- object oriented
- modeling language
- operational semantics
- theorem prover
- speech acts
- artificial intelligence
- database management systems
- modelling language
- open source
- user interface
- relational databases