Fibrations and universal view updatability
暂无分享,去创建一个
[1] Michael Johnson,et al. Database Interoperability Through State Based Logical Data Independence , 2003 .
[2] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[3] Akihiko Kato,et al. AN ABSTRACT RELATIONAL MODEL AND NATURAL JOIN FUNCTORS , 1983 .
[4] Stephen J. Hegner,et al. An Order-Based Theory of Updates for Closed Database Views , 2004, Annals of Mathematics and Artificial Intelligence.
[5] Martin Gogolla,et al. Towards a semantic view of an extended entity-relationship model , 1991, TODS.
[6] Benjamin C. Peirce,et al. Basic Category Theory for Computer Scientists , 1991 .
[7] Benjamin C. Pierce,et al. Relational lenses: a language for updatable views , 2006, PODS '06.
[8] W. Shipman David,et al. The functional data model and the data language DAPLEX , 1988 .
[9] Michael Johnson,et al. View Updatability Based on the Models of a Formal Specification , 2001, FME.
[10] Zinovy Diskin,et al. Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling , 2003, Data Knowl. Eng..
[11] Marc Gyssens,et al. CGOOD, a Categorical Graph-Oriented Object Data Model , 1996, Theor. Comput. Sci..
[12] Michael Johnson,et al. On the Value of Commutative Diagrams in Information Modelling , 1993, AMAST.
[13] Michael Johnson,et al. Constant Complements, Reversibility and Universal View Updates , 2008, AMAST.
[14] Michael Johnson,et al. Three approaches to Partiality in the Sketch Data Model , 2003, CATS.
[15] Michael Johnson,et al. Update algorithms for the sketch data model , 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472).
[16] Jennifer Widom,et al. A First Course in Database Systems , 1997 .
[17] Benjamin Pierce,et al. Lenses and View Update Translation , 2003 .
[18] Dan A. Simovici,et al. A categorical approach to database semantics , 1994, Mathematical Structures in Computer Science.
[19] Benjamin C. Pierce,et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.
[20] Ross Street,et al. Fibrations in bicategories , 1980 .
[21] Wesley Phoa,et al. Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration , 1994, TACS.
[22] David W. Shipman,et al. The functional data model and the data languages DAPLEX , 1981, TODS.
[23] Jennifer Widom,et al. A first course in database systems (2. ed.) , 2002 .
[24] Stéphane Bressan,et al. Introduction to Database Systems , 2005 .
[25] Paolo Atzeni,et al. Updating relational databases through weak instance interfaces , 1992, TODS.
[26] Frank Piessens,et al. Selective Attribute Elimination for Categorial Data Specifications , 1997, AMAST.
[27] Michael Barr,et al. Category theory for computing science (2. ed.) , 1995, Prentice Hall international series in computer science.
[28] Arthur H. M. ter Hofstede,et al. A Category Theory Approach to Conceptual Data Modeling , 1996, RAIRO Theor. Informatics Appl..
[29] Sally Popkorn,et al. A Handbook of Categorical Algebra , 2009 .
[30] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .
[31] Nicolas Spyratos,et al. Update semantics of relational views , 1981, TODS.
[32] Frank Piessens,et al. Categorical data-specifications , 1995 .
[33] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.
[34] R. J. Wood,et al. Relational Databases and Indexed Categories , 2006 .
[35] Sanjeev Khanna,et al. Edinburgh Research Explorer On the Propagation of Deletions and Annotations through Views , 2013 .
[36] Jens Lechtenbörger,et al. The impact of the constant complement approach towards view updating , 2003, PODS.
[37] Michael Johnson,et al. Entity-relationship-attribute designs and sketches , 2002 .
[38] Michael Johnson,et al. Sketch Data Models, Relational Schema and Data Specifications , 2002, CATS.
[39] Georg Gottlob,et al. Properties and update semantics of consistent views , 1988, TODS.
[40] Michael Johnson,et al. Coproducts in Categorical Information System Specification , 2001 .
[41] Umeshwar Dayal,et al. On the correct translation of update operations on relational views , 1982, TODS.
[42] R. F. C. Walters,et al. Categories and computer science , 1992, Cambridge computer science texts.
[43] Michael Johnson,et al. View updates in a semantic data modelling paradigm , 2001, Proceedings 12th Australasian Database Conference. ADC 2001.
[44] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[45] Nicolas Spyratos,et al. Implementing Queries and Updates on Universal Scheme Interfaces , 1988, VLDB.