Intensional and Extensional Semantics of Dataflow Programs.
Simon J. GayRajagopal NagarajanPublished in: Formal Aspects Comput. (2003)
Keyphrases
- control flow
- conceptual schema
- data flow
- higher order
- formal semantics
- high level language
- dynamic logic
- stable model semantics
- stable models
- normal logic programs
- semantic information
- reverse engineering
- databases
- data integration
- logic programming
- relational databases
- answer set programming
- fixpoint
- schema mappings
- integrity constraints
- model theoretic
- database machine
- schema integration
- logic programs
- declarative semantics
- database
- programming language constructs