Methods and tools for equivalent data model mapping construction
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Category theory for computing science
Category theory for computing science
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Pairwise-definable subdirect decompositions of general database schemata
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
ACM SIGMOD Record
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
Views and Decompositions of Databases from a Categorical Perspective
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Relationships between Logical Frameworks
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Heterogeneous View Integration via Sketches and Equations
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Bulk Data Types, A Theoretical Approach
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Data models transformation method based on axiomatic data model extension
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
| Hi-index | 0.00 |
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and is suitable for any data model for which schema mappings are defined. In particular, the constructs of query, query language, view and view integration can be consistently expressed in this arrow formalism and correspondingly specified. This gives rise to a general graph-based framework for specifying complex view systems. Basic constructions of the language and the entire framework as well can be considered as specialization of very general constructs developed in the mathematical category theory.