article

Free access

Incremental evaluation of rules and its relationship to parallelism

Authors:

Ouri Wolfson,

Hasanat M. Dewan,

Salvatore J. Stolfo,

Yechiam YeminiAuthors Info & Claims

ACM SIGMOD Record, Volume 20, Issue 2

Pages 78 - 87

https://doi.org/10.1145/119995.115799

Published: 01 April 1991 Publication History

PDF eReader

References

[1]

D. Mater and D. S. Warren; Computing with Logic: Introduction to Logic Programming; Benjamin- Cummings Publishing Co., 1987.

Google Scholar

[2]

J.D. Ullman; Pmnciples of Database and Knowledge-Base Systems; Vol.2, Compuler Science Press, 1989.

Digital Library

Google Scholar

[3]

S. Abiteboul and E. Simon; Fundamental properties of deterministic and nondeterministzc extenszons of Datalog* ; Journal of Theoretzcal Computer Science, 1990.

Digital Library

Google Scholar

[4]

S.J. Stolfo, D.P. Miranker and R. Mills; A simple processing scheme to extract and load balance zmplicil parallelism in the concurrent match of product~on rules; Proceedzngs of the AFIPS syrup, on fifth generation computing, AFIPS, 1985.

Digital Library

Google Scholar

[5]

T. Ishida, S.J. Stolfo; Towards the Parallel Execulzon of Rules in Production System Programs; Proceedings of the 13th annual ~nternatzonal Symposium on Computer Architecture, pp. 28-37, IEEE/A CM, 1986.

Google Scholar

[6]

O. Wolfson and A. Ozeri; A New Paradigm for Parallel and Distributed Rule-Processing; Proceedzngs of the A CM-SIGMOD 1990, h~ternational Conference on Management of Data, Atlantic Ctty, N J, May 1990.

Digital Library

Google Scholar

[7]

Jon Doyle, A Truth Maintenance System; ReadzT~gs ~n Artificial Intelligence; Morgan I(aufman,. 1981: pp. 496-516.

Google Scholar

[8]

A. Barr and E. Feigenbaum, eds.; The Handbook of Artificial Intelligence, Vol. 2; Wzlham Kaufman Inc.; pp. 72- 76.

Digital Library

Google Scholar

[9]

Raymond Reiter and Johan de Kleer; Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report; Proceedings of AAAI-87, pp. 183-188

Digital Library

Google Scholar

[10]

A. Dupuy, S. Sengupta, O. Wolfson, Y. Yemini; NETMATE: A Network Management Enwronmerit; to appear zn the speczal zssue on Network Operations and Management, IEEE Network (The Magazine of Computer Communications), 1991.

Google Scholar

[11]

E.N. Hanson, M. Chaabouni, C.-H. Kim, and Y.- W. Wang; A predicate matching algorithm for database and rule systems; Proceedings of the A CM-SIGMOD 1990, International Conference on Management of Data, Atlantic City, Nor, May 1990; pp. 271-280

Digital Library

Google Scholar

[12]

J.A. Blakeley, P.-A. Larson, F.Wm. Tompa; Efficiently Updating Matemahzed Views; Proceedings of the A CM-SIGMOD 1986, International Conference on Management of Data, Washington, D.C., May 1986; pp. 51-71

Digital Library

Google Scholar

[13]

S. Ganguly, A. Silberschatz, S. Tsur; A Framework for the Parallel Processing of Dalalog Queries; Proceedings of the A CM-SIGMOD 1990, International Conference on Management of Data, Atlantic City, NJ, May 1990; pp. 143-152

Digital Library

Google Scholar

[14]

K. R. Apt, H. Blair, A. Walker; Towards a Theory of Declarative Knowledge; unpublished memorandum, IBM Yorktown Hezghts, NY.

Google Scholar

[15]

S. Cohen and O. Wolfson; Why a Szngle Parallehzation Strategy is not Enough in Knowledge Bases; Proc. 8th A CM Syrup. on PODS, pp. 200-216, 1989. Revised version to appear in a special zssue of the Journal of Computer and System Sczences, 1991.

Digital Library

Google Scholar

[16]

B. Lindsay, L. Haas, C. Mohan, H. Pirahesh and P. Wilms; A Snapshot Dzfferentzal Refresh Algorithm; Proceedings of the A CM-SIGMOD 1986, h~ternational Conference on Management of Data, Washington, D.C., May 1986; pp. 53-60

Digital Library

Google Scholar

[17]

K.M. Chandy and J. Misra; On Proofs of Distrzbuted Algorithms with Application to the problem of Terminatzon Detection; Manuscript, Dept. of Computer Sczence, Universzty of Texas, Austin.

Google Scholar

[18]

N. Francez; Distributed Termination; A CM Transactzons on Programming Languages and Systems, 2(1),pp.42-55,1980.

Digital Library

Google Scholar

[19]

K.R. Apt and j. Pugin: Maintenance of S~ratzfled Databases Viewed as a Belief Rez, zszon System; Proc. 6th A CM Syrup. on PODS, pp. 136-145, 1987.

Digital Library

Google Scholar

[20]

O.Wolfson and A. Silberschatz; Deeomposabzhly and Its Role in Parallel Logic-Program Evaluations; Journal of Logic Programming (JLP), /o appear, 1991.

Digital Library

Google Scholar

[21]

O. Wolfson; Parallel Evaluation of Datalog Programs by Load Sharing; Journal of Logic Programruing (JLP), to appear.

Digital Library

Google Scholar

[22]

O. Wolfson and A. Ozeri; Parallel and Dzstr~buted Processing of Rules by Data-Reduction; IEEE Transactions on Knowledge and Data Engzneering, to appear.

Digital Library

Google Scholar

[23]

O. Wolfson and A. Silberschatz; Distributed Processing of Logic Programs; Proceedings of the A CM-SIGMOD 1988, h~lernational Conference on Managemenl of Data, Chzcago, ILL, June 1988, pp. 329-3.36.

Digital Library

Google Scholar

[24]

O. Wolfson; Sharing the Load of Logic-Progra~ Evaluation Onvited arlicle); Dat.abase Engineering, Vol. 8, Won Kim (ed.), IEEE Compu/er Soc~zety Press, 1990.

Google Scholar

[25]

M.A.W. Houtsma, P.M.G. Apers, and S. Ceri; Parallel computation of lransztive closure queries on fragmented dalabases; Technical Report INF-88-56, University of Twenle, the Netherlands, Dec. 1988.

Google Scholar

[26]

M.A.W. Houtsma, P.M.G. Apers, and S. Ceri; D~stributed transitive closure computatzons: The d~sconnection set approach; in Proc. 161h b~t. Conf. on Very Large Databases, Brisbane. A ustraha, Aug. 1990.

Digital Library

Google Scholar

[27]

M.A.W. tIoutsma, F. Cacace, and S. Ceri; Parallel hierarchical evaluation of transitzve closure queries; Technical Report, Universily of Twente, Nov. 1990.

Google Scholar

[28]

G. Dong; On Distrzbuted Process~bzlity of Datalog Queries by Decomposing Databases; zT~ Pvoc. of A CM-SIGMOD Con f, pp. ~26-35, 1989.

Digital Library

Google Scholar

Cited By

View all

Hu PMotik BHorrocks I(2022)Modular materialisation of Datalog programsArtificial Intelligence10.1016/j.artint.2022.103726308(103726)Online publication date: Jul-2022
https://doi.org/10.1016/j.artint.2022.103726
Mohapatra AGenesereth M(2014)Incremental Maintenance of Aggregate ViewsProceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 836710.1007/978-3-319-04939-7_20(399-414)Online publication date: 3-Mar-2014
https://dl.acm.org/doi/10.1007/978-3-319-04939-7_20
Bækgaard LMark L(1997)Incremental Computation of Set Difference ViewsIEEE Transactions on Knowledge and Data Engineering10.1109/69.5914509:2(251-261)Online publication date: 1-Mar-1997
https://dl.acm.org/doi/10.1109/69.591450
Show More Cited By

Index Terms

Incremental evaluation of rules and its relationship to parallelism
1. Information systems
  1. Data management systems
    1. Database management system engines
    2. Query languages
  2. Information systems applications
    1. Decision support systems
      1. Expert systems
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

High performance evaluation of evolutionary-mined association rules on GPUs

Association rule mining is a well-known data mining task, but it requires much computational time and memory when mining large scale data sets of high dimensionality. This is mainly due to the evaluation process, where the antecedent and consequent in ...
Incremental Induction of Medical Diagnostic Rules
BHI 2013: Proceedings of the International Conference on Brain and Health Informatics - Volume 8211

This paper proposes a new framework for incremental learning based on incremental sampling scheme. Since the addition of an example is classified into one of four possibilities, four patterns of an update of accuracy and coverage are observed, which ...
Incremental Induction of Medical Diagnostic Rules Based on Incremental Sampling Scheme and SubRule Layers
To Andrzej Skowron on His 70th Birthday

This paper proposes a new framework for incremental rule induction of medical diagnostic rules based on incremental sampling scheme and rule layers. When an example is appended, four possibilities can be considered. Thus, updates of accuracy and ...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 20, Issue 2

June 1991

447 pages

ISSN:0163-5808

DOI:10.1145/119995

Issue’s Table of Contents

SIGMOD '91: Proceedings of the 1991 ACM SIGMOD international conference on Management of data
April 1991
452 pages
ISBN:0897914252
DOI:10.1145/115790
Editors:
James Clifford,
Roger King

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1991

Published in SIGMOD Volume 20, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
455
Total Downloads

Downloads (Last 12 months)147
Downloads (Last 6 weeks)50

Reflects downloads up to 07 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hu PMotik BHorrocks I(2022)Modular materialisation of Datalog programsArtificial Intelligence10.1016/j.artint.2022.103726308(103726)Online publication date: Jul-2022
https://doi.org/10.1016/j.artint.2022.103726
Mohapatra AGenesereth M(2014)Incremental Maintenance of Aggregate ViewsProceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 836710.1007/978-3-319-04939-7_20(399-414)Online publication date: 3-Mar-2014
https://dl.acm.org/doi/10.1007/978-3-319-04939-7_20
Bækgaard LMark L(1997)Incremental Computation of Set Difference ViewsIEEE Transactions on Knowledge and Data Engineering10.1109/69.5914509:2(251-261)Online publication date: 1-Mar-1997
https://dl.acm.org/doi/10.1109/69.591450
Budiu MChajed TMcSherry FRyzhyk LTannen V(2023)DBSP: Automatic Incremental View Maintenance for Rich Query LanguagesProceedings of the VLDB Endowment10.14778/3587136.358713716:7(1601-1614)Online publication date: 8-May-2023
https://dl.acm.org/doi/10.14778/3587136.3587137
Mohapatra AGenesereth M(2014)Incremental Maintenance of Aggregate ViewsProceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 836710.1007/978-3-319-04939-7_20(399-414)Online publication date: 3-Mar-2014
https://dl.acm.org/doi/10.1007/978-3-319-04939-7_20
Dewan HStolfo S(2005)System reorganization and load balancing of parallel database rule processingMethodologies for Intelligent Systems10.1007/3-540-56804-2_18(186-197)Online publication date: 30-May-2005
https://doi.org/10.1007/3-540-56804-2_18
Mohania MKambayashi Y(2000)Making aggregate views self-maintainableData & Knowledge Engineering10.1016/S0169-023X(99)00016-632:1(87-109)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1016/S0169-023X%2899%2900016-6
Bailey JDong GMohania MWang X(1998)Incremental View Maintenance By Base Relation Tagging in Distributed DatabasesDistributed and Parallel Databases10.1023/A:10086831163816:3(287-309)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1023/A%3A1008683116381
Bækgaard LMark L(1997)Incremental Computation of Set Difference ViewsIEEE Transactions on Knowledge and Data Engineering10.1109/69.5914509:2(251-261)Online publication date: 1-Mar-1997
https://dl.acm.org/doi/10.1109/69.591450
Dong GSu JYannakakis M(1995)Space-bounded FOIES (extended abstract)Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems10.1145/212433.220204(139-150)Online publication date: 22-May-1995
https://dl.acm.org/doi/10.1145/212433.220204
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations

High performance evaluation of evolutionary-mined association rules on GPUs

Incremental Induction of Medical Diagnostic Rules

Incremental Induction of Medical Diagnostic Rules Based on Incremental Sampling Scheme and SubRule Layers

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations