Processes as Data Types: Observational Semantics and Logic.
Egidio AstesianoAlessandro GioviniGianna ReggioPublished in: Semantics of Systems of Concurrent Processes (1990)
Keyphrases
- data types
- logic programming
- proof theory
- data structure
- data model
- database systems
- user defined
- sound and complete axiomatization
- database management systems
- epistemic logic
- primitive operations
- propositional dynamic logic
- formal semantics
- modal operators
- object identity
- modal logic
- active rules
- object types
- abstract data types
- database
- machine learning
- knowledge representation
- data management
- data formats
- relational data model
- type checking
- ontology languages
- owl ontologies
- preprocessing
- data analysis
- data streams
- data mining algorithms