Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.
Huibiao ZhuYongxin ZhaoJifeng HePublished in: Australian Software Engineering Conference (2009)
Keyphrases
- operational semantics
- normal form
- event driven
- model theoretic
- formal semantics
- denotational semantics
- database design
- declarative semantics
- nested relations
- functional dependencies
- mental states
- relational algebra
- data model
- relational databases
- agent programming
- programming language
- speech acts
- relational calculus
- case study
- set of functional dependencies
- real time
- language learning
- database
- database systems
- null values
- metadata