Applying Theory Revision to the Design of Distributed Databases

This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through the use of the FORTE system. The analysis algorithm decides the fragmentation technique to be used in each class of the database and its Prolog implementation is provided as the initial domain theory. Fragmentation schemas with previously known performance, obtained from experimental results on top of an object database benchmark, are provided as the set of examples. We show the effectiveness of our approach in finding better fragmentation schemas with improved performance.

[1]  Michael J. Pazzani,et al.  A Lexical Based Semantic Bias for Theory Revision , 1995, ICML.

[2]  Marta Mattoso,et al.  Towards an inductive design of distributed object oriented databases , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[3]  Sandra Heiler,et al.  Distributed Object Management , 1992, Int. J. Cooperative Inf. Syst..

[4]  Ben Taskar,et al.  Selectivity estimation using probabilistic models , 2001, SIGMOD '01.

[5]  Clifford Alan Brunk.  An investigation of knowledge intensive approaches to concept learning and theory refinement , 1996 .

[6]  Stanley Y. W. Su,et al.  Implementation and evaluation of parallel query processing algorithms and data partitioning heuristics in object-oriented databases , 2004, Distributed and Parallel Databases.

[7]  Marta Mattoso,et al.  A Distribution Design Methodology for Object DBMS , 2004, Distributed and Parallel Databases.

[8]  David Maier,et al.  Issues in Distributed Object Assembly , 1992, IWDOM.

[9]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[10]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[11]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[12]  Gerson Zaverucha,et al.  Normal Programs and Multiple Predicate Learning , 1998, ILP.

[13]  Ron Kohavi,et al.  A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection , 1995, IJCAI.

[14]  Ken Barker,et al.  A comprehensive approach to horizontal class fragmentation in a Distributed Object Based System , 1995, Distributed and Parallel Databases.

[15]  Ronen Feldman,et al.  Bias-Driven Revision of Logical Domain Theories , 1993, J. Artif. Intell. Res..

[16]  James Wogulis.  An approach to repairing and evaluating first-order theories containing multiple concepts and negation , 1994 .

[17]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

[18]  S. Wrobel.  First Order Theory Reenement , 1996 .

[19]  Marta Mattoso,et al.  Estimating Costs of Path Expression Evaluation in Distributed Object Databases , 2002, DEXA.

[20]  Ken Barker,et al.  Distributed Object Based Design: Vertical Fragmentation of Classes , 1998, Distributed and Parallel Databases.

[21]  Ana Simonet,et al.  Vertical fragmentation in distributed object database systems with complex attributes and methods , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

[22]  Marta Mattoso,et al.  A Framework for the Design of Distributed Databases , 2002, WDAS.

[23]  Clifford Brunk.  A Linguistically Based Semantic Bias for Theory Revision , 1998 .

[24]  Patrick Valduriez,et al.  Principles of distributed database systems (2nd ed.) , 1999 .

[25]  Luc De Raedt,et al.  Inductive Database Design , 1996, ISMIS.

[26]  Ana Simonet,et al.  Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases , 2004, Distributed and Parallel Databases.

[27]  Raymond J. Mooney,et al.  Automated refinement of first-order horn-clause domain theories , 2005, Machine Learning.

[28]  Shamkant B. Navathe,et al.  Issues in Distribution Design of Object-Oriented Databases , 1992, IWDOM.

[29]  Qing Li,et al.  An Evaluation of Vertical Class Partitioning for Query Processing in Object-Oriented Databases , 2002, IEEE Trans. Knowl. Data Eng..

[30]  Marta Mattoso,et al.  Parallel Processing Evaluation of Path Expressions , 2000, SBBD.

[31]  David J. DeWitt,et al.  The oo7 Benchmark , 1993, SIGMOD Conference.

[32]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[33]  Luc De Raedt,et al.  Isidd: An Interactive System for Inductive Database Design , 1998, Appl. Artif. Intell..

[34]  Raymond J. Mooney,et al.  Automated refinement of first-order horn-clause domain theories , 2005, Machine Learning.