CUDL Language Semantics, Liven Up the FDB Data Model.
Nikitas KaranikolasMaria NitsiouEmmanuel J. YannakoudakisChristos SkourlasPublished in: ADBIS Research Communications (2007)
Keyphrases
- data model
- operational semantics
- definition language
- relational data model
- conceptual model
- logical language
- specification language
- query language
- intended meaning
- language constructs
- model theoretic
- logic programming language
- highly expressive
- denotational semantics
- formal language
- database query languages
- abstract machine
- object oriented
- data integration
- xml documents
- database systems
- formal semantics
- relational algebra
- programming language
- databases
- conceptual graphs
- action language
- object identity
- dynamic logic
- semantically equivalent
- semantic data model
- database
- formal languages
- fixed point semantics
- data sources
- language learning
- object oriented data models
- natural language
- logic programming
- database management systems
- relational model
- closed world
- uml class diagrams
- conditional logic
- situation calculus
- aggregate functions
- formal specification
- object model
- algebraic operations
- semantic information
- speech acts
- conceptual schema
- abstract data types