Supporting executable mappings in model management

ABSTRACT

Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are applied to models, such as database schemas or interface specifications, and to mappings between models. Prior model management solutions focused on a simple class of mappings that do not have executable semantics. Yet many metadata applications require that mappings be executable, expressed in SQL, XSLT, or other data transformation languages.In this paper, we develop a semantics for model-management operators that allows applying the operators to executable mappings. Our semantics captures previously-proposed desiderata and is language-independent: the effect of the operators is expressed in terms of what they do to the instances of models and mappings. We describe an implemented prototype in which mappings are represented as dependencies between relational schemas, and discuss algebraic optimization of model-management scripts.

REFERENCES

• 1: Serge Abiteboul , Richard Hull , Victor Vianu, Foundations of Databases: The Logical Level, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 2: Sanjay Agrawal , Surajit Chaudhuri , Vivek R. Narasayya, Automated Selection of Materialized Views and Indexes in SQL Databases, Proceedings of the 26th International Conference on Very Large Data Bases, p.496-505, September 10-14, 2000
• 3: Suad Alagic , Philip A. Bernstein, A Model Theory for Generic Schema Management, Revised Papers from the 8th International Workshop on Database Programming Languages, p.228-246, September 08-10, 2001
• 4: F. Bancilhon , N. Spyratos, Update semantics of relational views, ACM Transactions on Database Systems (TODS), v.6 n.4, p.557-575, Dec. 1981 [doi>10.1145/319628.319634]
• 5: BEA, IBM, Microsoft, SAP, and Siebel. Business Process Execution Language for Web Services Version 1. 1, 2003.
• 6: P. A. Bernstein. Applying Model Management to Classical Metadata Problems. In Proc. CIDR, 2003.
• 7: Phillip A. Bernstein , Alon Y. Halevy , Rachel A. Pottinger, A vision for management of complex models, ACM SIGMOD Record, v.29 n.4, p.55-63, Dec. 2000 [doi>10.1145/369275.369289]
• 8: P. A. Bernstein and E. Rahm. Data Warehouse Scenarios for Model Management. In Proc. ER, pages 1--15, Oct. 2000.
• 9: Joachim Biskup , Bernhard Convent, A formal view integration method, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.398-407, May 28-30, 1986, Washington, D.C., United States
• 10: Peter Buneman , Susan B. Davidson , Anthony Kosky, Theoretical Aspects of Schema Merging, Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology, p.152-167, March 23-27, 1992
• 11: D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Y. Vardi. View-based Query Processing: On the Relationship between Rewriting, Answering, and Losslessness. In Proc. ICDT, 2005.
• 12: M. A. Casanova , V. M. P. Vidal, Towards a sound view integration methodology, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588065]
• 13: Rada Chirkova , Alon Y. Halevy , Dan Suciu, A Formal Perspective on the View Selection Problem, Proceedings of the 27th International Conference on Very Large Data Bases, p.59-68, September 11-14, 2001
• 14: Lois M. L. Delcambre , David Maier, Models for Superimposed Information, Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, p.264-280, November 15-18, 1999
• 15: Ronald Fagin , Phokion G. Kolaitis , Renée J. Miller , Lucian Popa, Data Exchange: Semantics and Query Answering, Proceedings of the 9th International Conference on Database Theory, p.207-224, January 08-10, 2003
• 16: Ronald Fagin , Phokion G. Kolaitis , Wang-Chiew Tan , Lucian Popa, Composing schema mappings: second-order dependencies to the rescue, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France [doi>10.1145/1055558.1055572]
• 17: Alon Y. Halevy, Answering queries using views: A survey, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.270-294, December 2001 [doi>10.1007/s007780100054]
• 18: Alon Y. Halevy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli, Static analysis in datalog extensions, Journal of the ACM (JACM), v.48 n.5, p.971-1012, September 2001 [doi>10.1145/502102.502104]
• 19: Jens Lechtenbörger , Gottfried Vossen, On the computation of relational view complements, ACM Transactions on Database Systems (TODS), v.28 n.2, p.175-208, June 2003 [doi>10.1145/777943.777946]
• 20: Maurizio Lenzerini, Data integration: a theoretical perspective, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin [doi>10.1145/543613.543644]
• 21: Chen Li , Mayank Bawa , Jeffrey D. Ullman, Minimizing View Sets without Losing Query-Answering Power, Proceedings of the 8th International Conference on Database Theory, p.99-113, January 04-06, 2001
• 22: J. Lin and A. O. Mendelzon. Merging Databases Under Constraints. Intl. Journal of Cooperative Information Systems, 7(1):55--76, 1998.
• 23: Jayant Madhavan , Philip A. Bernstein , Pedro Domingos , Alon Y. Halevy, Representing and reasoning about mappings between domain models, Eighteenth national conference on Artificial intelligence, p.80-86, July 28-August 01, 2002, Edmonton, Alberta, Canada
• 24: J. Madhavan and A. Halevy. Composing Mappings Among Data Sources. In Proc. VLDB, 2003.
• 25: S. Melnik. Generic Model Management: Concepts and Algorithms. Ph.D. thesis, University of Leipzig, Springer LNCS 2967, 2004.
• 26: S. Melnik, P. A. Bernstein, A. Halevy, and E. Rahm. A Semantics for Model Management Operators. Technical Report MSR-TR-2004-59, Microsoft Research, 2004.
• 27: Sergey Melnik , Erhard Rahm , Philip A. Bernstein, Rondo: a programming platform for generic model management, Proceedings of the 2003 ACM SIGMOD international conference on Management of data, June 09-12, 2003, San Diego, California [doi>10.1145/872757.872782]
• 28: Alan Nash , Philip A. Bernstein , Sergey Melnik, Composition of mappings given by embedded dependencies, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland [doi>10.1145/1065167.1065189]
• 29: L. Popa, Y. Velegrakis, R. J. Miller, M. A. Hernández, and R. Fagin. Translating Web Data. In Proc.VLDB, 2002.
• 30: R. Pottinger and P. A. Bernstein. Merging Models Based on Given Correspondences. In Proc. VLDB, 2003.
• 31: Erhard Rahm , Philip A. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.334-350, December 2001 [doi>10.1007/s007780100057]
• 32: Arnon Rosenthal , David Reiner, Tools and transformations—rigorous and otherwise—for practical database design, ACM Transactions on Database Systems (TODS), v.19 n.2, p.167-211, June 1994 [doi>10.1145/176567.176568]
• 33: Luc Segoufin , Victor Vianu, Views and queries: determinacy and rewriting, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland [doi>10.1145/1065167.1065174]
• 34: Jayavel Shanmugasundaram , Jerry Kiernan , Eugene J. Shekita , Catalina Fan , John Funderburk, Querying XML Views of Relational Data, Proceedings of the 27th International Conference on Very Large Data Bases, p.261-270, September 11-14, 2001
• 35: Jon Siegel , Dan Frantz , Hal Mirsky , Raghu Hudli , Peter de Jong , Alan Klein , Brent Wilkins , Alex Thomas , Wilf Coles , Sean Baker , Maurice Balick, COBRA fundamentals and programming, John Wiley & Sons, Inc., New York, NY, 1996
• 36: S. Spaccapietra , C. Parent, View Integration: A Step Forward in Solving Structural Conflicts, IEEE Transactions on Knowledge and Data Engineering, v.6 n.2, p.258-274, April 1994 [doi>10.1109/69.277770]
• 37: D. Srivastava and R. Ramakrishnan. Pushing Constraint Selections. Journal of Logic Programming. 16(3--4):361--414, 1993.
• 38: Dimitri Theodoratos , Spyros Ligoudistianos , Timos Sellis, View selection for designing the global data warehouse, Data & Knowledge Engineering, v.39 n.3, p.219-240, December 2001 [doi>10.1016/S0169-023X(01)00041-6]
• 39: J. van Benthem and K. Doets. Higher-order logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. 1. Reidel, Dordrecht, 1983.