Linking Schemas and Module Specifications: A Proposal.
Hartmut EhrigMichael A. ArbibPublished in: Bull. EATCS (1990)
Keyphrases
- databases
- conceptual models
- schema integration
- high level
- neural network
- data integration
- data mining
- decision trees
- data structure
- xml documents
- data model
- artificial intelligence
- schema mappings
- finite state machines
- formal specification
- machine learning
- specification language
- reactive systems
- concurrent systems
- delay insensitive
- attribute grammars