Article

Free access

Making deductive databases a practical technology: a step forward

Authors:

C. de Maindreville,

E. SimonAuthors Info & Claims

SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data

Pages 237 - 246

https://doi.org/10.1145/93597.98733

Published: 01 May 1990 Publication History

Abstract

Deductive databases provide a formal framework to study rule-based query languages that are extensions of first-order logic. However, deductive database languages and their current implementations do not seem appropriate for improving the development of real applications or even sample of them. Our goal is to make deductive database technology practical. The design and implementation of the RDL1 system, presented in this paper, constitute a step toward this goal. Our approach is based on the integration of a production rule language within a relational database system, the development of a rule-based programming environment and the support of system extensibility using Abstract Data Types. We discuss important practical experience gained during the implementation of the system. Also, comparisons with related work such as LDL, STARBURST and POSTGRES are given.

References

[1]

S Ablteboul, E Simon "Fundamental Properties of Determmlstlc and non-determmlst~c Extensions of Datalog", to appear in Journal of Theoretzcal Computer Sczence

Digital Library

[2]

L Brownston, R Farrell, E Kant, N Martm "Programming Expert Systems m OPS5 An Introduction to Rule-Based Programming", book, Addzson- Wesley Ed, 1985

Digital Library

[3]

J P Chemey, C de Mamdrewlle "Relational Storage and Efficient Retmeval of Rules m a Deductive DBMS", Proc of Int Conf on Data Engzneermg, Los Angeles, Feb 1989

Digital Library

[4]

D Chlmentl, R Gamboa, R Kmshnamurthy 'Towards an Open Architecture for LDL", Proc of Int Con/ on VLDB, Amsterdam, Aug 1989

Digital Library

[5]

U Dayal, et al " The H1PAC Project Combining Active Databases and T~mmg Constraints", ACM SIGMOD RECORD Vol 17, N~I, March 1988

Digital Library

[6]

L M Delcambre, J N Etheredge "The Relational Production Language a Productlon Language for Relational Database" Proc of Int Conf on Expert Database System, April 1988

[7]

Guttag J V et al, 'The Design of Data Type Specifications", Current Trends zn Programmzng Methodology, Vol IV Data Structuring, Raymond T Yeh, ed, 1977

[8]

L M Haas, J C Freytag, G M Lohman, H Plrahesh "Extenslble Query Processing in Starburst", Proc of ACM SIGMOD Int Conf, Portland, June 1989

Digital Library

[9]

Intelhcorp "KEE Software Development System User's Manual", lntelhcorp Mountain Vzew, 1985

[10]

G Klernan et al "Managing Complex Oblects m an Extendible Relatmnal DBMS", Proc of Int Conf on VLDB, Amsterdam, Aug 1989

Digital Library

[11]

G Klernan, C de Mamdrewlle, E Simon "Making Deductive Database a Practical Technology a Step Forward", INRIA Research Report N~ 1153, Jan 1990

[12]

C de Mamdrevflle, E Simon "A Product~on Rule Based Approach to Deductive Databases", Proc of Int Conf on Data Engzneermg, Los Angeles, Feb 1988

Digital Library

[13]

C de Mamdrewlle, E Szmon "Modelhng non-deterministic Quemes and Updates m a Deductive Database" Proc of Int Conf on VLDB, Los Angeles, Aug 1988

Digital Library

[14]

D McCarthy, U Dayal "The Architecture of an Active Database Management System", Proc of ACM SIGMOD Int Conf, Portland, june 1989

Digital Library

[15]

S Naqw S Tsur "A language for Data and Knowledge Bases", book, W H Freeman, 1989

Digital Library

[16]

S L Osborn and T E Heaven "The Deslgn of a Relational Database System w~th Abstract Data Types for Domains", ACM TODS, Vol 11, N3, 1986

Digital Library

[17]

M Rdgmer, E Simon "Efficient Evaluation of Production Rules m a DBMS", Proc of Advances zn Databases, edited by INRIA, Geneva, Sept 1989

[18]

M Stonebraker "Inclusion of New Types in Relational Database Systems", Proc of Int Conf on Data Engineering, Los Angeles, Feb 1988

Digital Library

[19]

M Stonebraker et al "Fhe POST- GRES Rules System", IEEE Transactwns on Software Engineering, Vol 14, N~ 7,July 1988

Digital Library

[20]

M Stonebraker, M Hearst, S Potamlanos "A Commentary on the POSTGRES Rules System", ACM SIGMOD RECORD, Vol 18, N~ 3, Sept 1989

Digital Library

[21]

S Tsur, C Zamolo "LDL a Logic Based Data Language", Proc of Int Conf on VLDB, Kyoto, Aug 1986

Digital Library

[22]

J D Ullman "Principles of Database and Knowlege-Base Systems", book, Computer Sczence Press, Vol I and Vol 2, 1989

Digital Library

[23]

P Valdumez, G Gardann "Analysis and Compamson of Relational Database Systems", book, Addzson Wesley, 1989

Digital Library

[24]

J Wldom, S Fmkelstem "A Syntax and Semantics for Set Omented Production Rules ~n Relational Databases, " IBM Research Report, RJ 6880, Almaden Research Center, June 1989

[25]

P F Wflms et al "Incorporating data types m an extendible database architecture", IBM Research Report, RJ 6405, Almaden Res Center, Aug 1988 Also in Proc of Int Conf on Improwng Data Responswness and Usabzhty, June 1988

Cited By

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1145/3191315.3191317
Hanson EWidom J(2009)An overview of production rules in database systemsThe Knowledge Engineering Review10.1017/S02698889000001268:2(121-143)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900000126
Lausen GLudäscher BMay W(2006)On active deductive databases: The statelog approachTransactions and Change in Logic Databases10.1007/BFb0055496(69-106)Online publication date: 28-May-2006
https://doi.org/10.1007/BFb0055496
Show More Cited By

Index Terms

Making deductive databases a practical technology: a step forward

Recommendations

Making deductive databases a practical technology: a step forward

Deductive databases provide a formal framework to study rule-based query languages that are extensions of first-order logic. However, deductive database languages and their current implementations do not seem appropriate for improving the development of ...
Deductive databases: achievements and future directions
Directions for future database research & development

In the recent years, Deductive Databases have been the focus of intense research, which has brought dramatic advances in theory, systems and applications. A salient feature of deductive databases is their capability of supporting a declarative, rule-...
Deductive databases: implementation, parallelism and applications
ICLP'06: Proceedings of the 22nd international conference on Logic Programming

The area of integrating or coupling a database with LP systems in order to obtain a Deductive Database System (DDS) is still of interest and poses many research problems. In particular, the basis for my work is the MySQL Yap Deductive DAtabase System (...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data

May 1990

398 pages

ISBN:0897913655

DOI:10.1145/93597

Chairman:
Hector Garcia-Molina
Princeton Univ., Princeton, NJ

ACM SIGMOD Record Volume 19, Issue 2
Jun. 1990
392 pages
ISSN:0163-5808
DOI:10.1145/93605
Editor:
H. V. Jagadish
AT&T Bell Laboratories, Murray Hill, NJ
Issue’s Table of Contents

Copyright © 1990 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1990

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD 90

Sponsor:

SIGMOD

SIGMOD 90: SIGMOD'90

May 23 - 26, 1990

New Jersey, Atlantic City, USA

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

55
Total Citations
View Citations
595
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)7

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Maier DTekle KKifer MWarren D(2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1145/3191315.3191317
Hanson EWidom J(2009)An overview of production rules in database systemsThe Knowledge Engineering Review10.1017/S02698889000001268:2(121-143)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900000126
Lausen GLudäscher BMay W(2006)On active deductive databases: The statelog approachTransactions and Change in Logic Databases10.1007/BFb0055496(69-106)Online publication date: 28-May-2006
https://doi.org/10.1007/BFb0055496
Bry F(2005)Towards intelligent databasesMethodologies for Intelligent Systems10.1007/3-540-56804-2_12(116-131)Online publication date: 30-May-2005
https://doi.org/10.1007/3-540-56804-2_12
Kehrer NNeumann G(2005)An EER prototyping environment and its implementation in a datalog languageEntity-Relationship Approach — ER '9210.1007/3-540-56023-8_16(243-261)Online publication date: 28-May-2005
https://doi.org/10.1007/3-540-56023-8_16
Danforth SSimon E(2005)A data and operation model for advanced database systemsThe Next Generation of Information Systems: From Data to Knowledge10.1007/3-540-55616-8_38(9-36)Online publication date: 30-May-2005
https://doi.org/10.1007/3-540-55616-8_38
Manthey R(2005)Declarative languages — Paradigm of the past or challenge of the future?Next Generation Information System Technology10.1007/3-540-54141-1_1(1-16)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-54141-1_1
Gardarin GKiernan J(2005)Deductive database rule languages: Analysis and case studyDatabase Systems of the 90s10.1007/3-540-53397-4_37(198-216)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-53397-4_37
Bassiliades NVlahavas IElmagarmid A(2000)E-DEVICEIEEE Transactions on Knowledge and Data Engineering10.1109/69.87751112:5(824-844)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1109/69.877511
Allain LYim P(2000)Specification of an Active Database System Application Using Dynamic Relation NetsComputational Logic — CL 200010.1007/3-540-44957-4_80(1197-1209)Online publication date: 15-Dec-2000
https://doi.org/10.1007/3-540-44957-4_80
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents