Mapping ORM to Datalog: An Overview

Optimization of modern businesses is becoming increasingly dependent on business intelligence and rule-based software to perform predictive analytics over massive data sets and enforce complex business rules. This has led to a resurgence of interest in datalog, because of its powerful capability for processing complex rules, especially those involving recursion, and the exploitation of novel data structures that provide performance advantages over relational database systems. ORM 2 is a conceptual approach for fact oriented modeling that provides a high level graphical and textual syntax to facilitate validation of data models and complex rules with nontechnical domain experts. DatalogLB is an extended form of typed datalog that exploits fact-oriented data structures to provide deep and highly performant support for complex rules with guaranteed decidability. This paper provides an overview of recent research and development efforts to extend the Natural ORM Architect (NORMA) software tool to map ORM models to DatalogLB.

[1]  Terry A. Halpin,et al.  Information Modelling and Relational Databases , 2001 .

[2]  Terry A. Halpin.  Object-Role Modeling: Principles and Benefits , 2010, Int. J. Inf. Syst. Model. Des..

[3]  Anthony C. Bloesch,et al.  Conceptual Queries Using ConQuer-II , 1997, ER.

[4]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, ... Applications, incl. Internet/Web, and HCI) , 2008 .

[5]  David W. Embley,et al.  Conceptual Modeling — ER '97 , 1997, Lecture Notes in Computer Science.

[6]  Terry A. Halpin,et al.  Automated Verbalization for ORM 2 , 2006, OTM Workshops.

[7]  Tharam S. Dillon,et al.  On the Move to Meaningful Internet Systems, OTM 2010 , 2010, Lecture Notes in Computer Science.

[8]  Terry A. Halpin,et al.  Orm 2 , 2005, OTM Workshops.

[9]  R. E. Kurt Stirewalt,et al.  A Role Calculus for ORM , 2009, OTM Workshops.

[10]  J. J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method , 1990, Springer Netherlands.

[11]  Terry Halpin,et al.  ORM/NIAM Object-Role Modeling , 1998 .

[12]  Arthur H. M. ter Hofstede,et al.  Formal definition of a conceptual language for the description and manipulation of information models , 1993, Inf. Syst..

[13]  Terry Halpin.  A Comparison of Data Modeling in UML and ORM , 2009 .

[14]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[15]  Jianwen Su,et al.  Domain independence and the relational calculus , 1994, Acta Informatica.

[16]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[17]  Terry Halpin,et al.  Fact-Oriented Modeling: Past, Present and Future , 2007 .

[18]  Terry A. Halpin,et al.  The NORMA Tool for ORM 2 , 2010, CAiSE Forum.

[19]  J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method: Theory and Practice , 1990 .

[20]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[21]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[22]  Bernhard Thalheim,et al.  Conceptual Modeling — ER '96 , 1996, Lecture Notes in Computer Science.

[23]  Mehdi Khosrow-Pour,et al.  Printed at: , 2011 .

[24]  Ling Liu,et al.  Encyclopedia of Database Systems , 2009, Encyclopedia of Database Systems.

[25]  Zahir Tari,et al.  On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops , 2003, Lecture Notes in Computer Science.

[26]  David Zook,et al.  Typed Datalog , 2009, PADL.

[27]  Terry Halpin,et al.  Formal semantics of dynamic rules in ORM, OTM conferences and workshops , 2008 .

[28]  Terry A. Halpin.  Object-Role Modeling , 2009, Encyclopedia of Database Systems.

[29]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings , 2005, OTM Workshops.

[30]  Herman Balsters,et al.  Formal Semantics of Dynamic Rules in ORM , 2008, OTM Workshops.

[31]  Tharam S. Dillon,et al.  On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009, Vilamoura, Portugal, November 1-6, 2009. Proceedings , 2009, OTM Workshops.

[32]  Robert M. Colomb.  Deductive Databases and Their Applications , 1998 .

[33]  Anthony C. Bloesch,et al.  ConQuer: A Conceptual Query Language , 1996, ER.

[34]  Sjaak Brinkkemper,et al.  Conceptual Modelling in Information Systems Engineering , 2007 .