A model theory for generic schema management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2397, Issue , 2002, Pages 228-246

  Alagić, Suad ^a,b   Bernstein, Philip A ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF SOUTHERN MAINE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MANAGEMENT; SEMANTICS;

DATABASE INTEGRITY CONSTRAINTS; INTEGRITY CONSTRAINTS; MANAGEMENT FRAMEWORKS; MODEL THEORY; OBJECT-ORIENTED FEATURES; SCHEMA INTEGRATION; SCHEMA MANAGEMENT; SEMANTIC PROPERTIES;

DATABASE SYSTEMS;

EID: 84943622221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46093-4_14     Document Type: Conference Paper

References (25)

1. Alagic, S.: Semantics of temporal classes, Information and Computation 163, pp. 60-102, 2000.
2. Alagic, S.: Constrained matching is type safe, Proc. of the Sixth Int. Workshop on Database Programming Languages, LNCS 1369, Springer-Verlag, pp. 78-96, 1998.
3. Alagic, S. and M. Alagic, Order-sorted model theory for temporal executable specifications, Theoretical Computer Science 179, pp. 273-299, 1997.
4. Bernstein, P. A., A. Halevy, R. A. Pottinger: A vision for management of complex models, ACM SIGMOD Record 29(4), pp. 54-63, 2000.
5. Bernstein, P.A. and E. Rahm: Data warehouse scenarios for model management, ER 2000, LNCS 1920, Springer-Verlag, pp. 1-15.
6. Batini, C., M. Lenzerini, S. B. Navathe: A comparative analysis of methodologies for database schema integration, ACM Comp. Surveys 18(4), pp. 323-364, 1986.
7. P. Buneman, S. Davidson, W. Fan, C. Hara, W-C. Tan, Reasoning about keys for XML, DBPL 2001 (Databases and Programming Languages), Lecture Notes in Computer Science (this volume).
8. Buneman, P., S. Davidson, and A. Kosky: Theoretical aspects of schema merging, EDBT 1992, pp. 152-167.
9. P. Buneman, W. Fan, J. Simeon and S. Weinstein, Constraints for semistructured data and XML, ACM SIGMOD Record 30(1), pp. 47-54, 2001.
10. Fan, W. and L. Libkin, On XML integrity constraints in the presence of DTDs, PODS 2001, pp. 114-125.
11. Goguen, J. and R. Burstall, Institutions: Abstract model theory for specification and programming, Journal of the ACM 39(1), pp. 92-146, 1992.
12. Goguen, J.: Types as theories, in: G. M. Reed, A. W. Roscoe and R. F. Wachter, Topology and Category Theory in Computer Science, Clarendon Press, Oxford, pp. 357-390, 1991.
13. Goguen, J. and J. Meseguer, Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoretical Computer Science 105, pp. 217-273, 1992.
14. Haxthausen, A.E. and F. Nickl: Pushouts of order-sorted algebraic specifications, in M. Wirsing and M. Nivat, eds., Algebraic Methodology and Software Tech. (AMAST 96), LNCS 1101, Springer-Verlag, pp. 132-147, 1996.
15. Hull, R.: Relative information capacity of simple relational database schemata, SIAM Journal of Computing 15(3), pp. 856-886, 1986.
16. Hull, R.: Managing semantic heterogeneity in databases: A theoretical perspective, PODS 1997, 51-61.
17. Kalinichenko, L.A.: Methods and tools for equivalent data model mapping construction, EDBT 1990, LNCS 416, Springer-Verlag, pp. 92-119.
18. Liskov, B. and J. M. Wing: A behavioral notion of subtyping, ACM TOPLAS 16, pp. 1811-1841.
19. Mac Lane, S.: Categories for a Working Mathematician, Springer, 1998.
20. Madhavan, J., P. A. Bernstein, E. Rahm: Generic schema matching with Cupid, VLDB 2001, pp. 49-58.
21. Miller, R. J., Y. E. Ioannidis, R. Ramakrishnan, Schema equivalence in heterogeneous systems: Bridging theory and practice, Information Systems 19(1), pp. 3-31, 1994.
22. Rahm, E. and P.A. Bernstein: On matching schemas automatically. VLDB Journal 10(4), pp. 334-350, 2001.
23. Spaccapietra, S., C. Parent, Y. Dupont: Model independent assertions for integration of heterogeneous schemas, VLDB Journal 1, pp. 81-126, 1992.
24. Spaccapietra, S. and C. Parent: View integration: A step forward in solving structural conflicts, IEEE TKDE 6(2), pp. 258 - 274, 1994.
25. W3C: XML Schema, http://www.w3c.org/XML/schema, 2001.