Operational semantics of probabilistic Kleene algebra with tests.
Rui QiaoYuan WangXinyan GaoJinzhao WuPublished in: ISCC (2008)
Keyphrases
- operational semantics
- data model
- model theoretic
- formal semantics
- propositional logic
- query language
- bayesian networks
- denotational semantics
- mental states
- regular expressions
- activity diagrams
- probabilistic reasoning
- relational algebra
- database
- design process
- natural language processing
- database systems
- case study
- databases