Incremental evaluation of rules and its relationship to parallelism

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Incremental evaluation of rules and its relationship to parallelism

Full text

Pdf (1.02 MB)

Source

International Conference on Management of Data archive
Proceedings of the 1991 ACM SIGMOD international conference on Management of data table of contents

Denver, Colorado, United States

Pages: 78 - 87

Year of Publication: 1991

ISBN:0-89791-425-2

Also published in ...

Authors

Ouri Wolfson	Distributed Computing and Communications Laboratory, 450 Computer Science Building, Columbia University, New York, NY
Hasanat M. Dewan	Distributed Computing and Communications Laboratory, 450 Computer Science Building, Columbia University, New York, NY
Salvatore J. Stolfo	Distributed Computing and Communications Laboratory, 450 Computer Science Building, Columbia University, New York, NY
Yechiam Yemini	Distributed Computing and Communications Laboratory, 450 Computer Science Building, Columbia University, New York, NY

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 19, Citation Count: 9

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115790.115799 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	D. Mater and D. S. Warren; Computing with Logic: Introduction to Logic Programming; Benjamin- Cummings Publishing Co., 1987.
	2	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	3	Serge Abiteboul , Eric Simon, Fundamental properties of deterministic and nondeterministic extensions of Datalog, Theoretical Computer Science, v.78 n.1, p.137-158, Jan. 21, 1991
	4	S J Stolfo , D M Miranker , R C Mills, A simple preprocessing scheme to extract and balance implicit parallelism in the concurrent match of production rules, Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures, p.55-65, October 1986, Manchester, United Kingdom
	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.
	6	Ouri Wolfson , Aya Ozeri, A new paradigm for parallel and distributed rule-processing, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.133-142, May 23-26, 1990, Atlantic City, New Jersey, United States
	7	Jon Doyle, A Truth Maintenance System; ReadzT~gs ~n Artificial Intelligence; Morgan I(aufman,. 1981: pp. 496-516.
	8	Avron Barr , Edward A. Feigenbaum, Handbook of AI, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	9	Raymond Reiter and Johan de Kleer; Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report; Proceedings of AAAI-87, pp. 183-188
	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.
	11	Eric N. Hanson , Moez Chaabouni , Chang-Ho Kim , Yu-Wang Wang, A predicate matching algorithm for database rule systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.271-280, May 23-26, 1990, Atlantic City, New Jersey, United States
	12	Jose A. Blakeley , Per-Ake Larson , Frank Wm Tompa, Efficiently updating materialized views, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.61-71, May 28-30, 1986, Washington, D.C., United States
	13	Sumit Ganguly , Avi Silberschatz , Shalom Tsur, A framework for the parallel processing of Datalog queries, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.143-152, May 23-26, 1990, Atlantic City, New Jersey, United States
	14	K. R. Apt, H. Blair, A. Walker; Towards a Theory of Declarative Knowledge; unpublished memorandum, IBM Yorktown Hezghts, NY.
	15	S. Cohen , O. Wolfson, Why a single parallelization strategy is not enough in knowledge bases, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.200-216, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73742]
	16	Bruce Lindsay , Laura Haas , C. Mohan , Hamid Pirahesh , Paul Wilms, A snapshot differential refresh algorithm, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.53-60, May 28-30, 1986, Washington, D.C., United States
	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.
	18	Nissim Francez, Distributed Termination, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.42-55, Jan. 1980 [doi>10.1145/357084.357087]
	19	K. Apt , J. M. Pugin, Maintenance of stratified databases viewed as a belief revision system, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.136-145, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28674]
	20	Ouri Wolfson , Avi Silberschatz, Decomposability and its role in parallel logic-program evaluation, Journal of Logic Programming, v.11 n.3-4, p.345-358, Oct./Nov. 1991 [doi>10.1016/0743-1066(91)90031-J]
	21	Ouri Wolfson, Parallel evaluation of Datalog programs by load sharing, Journal of Logic Programming, v.12 n.4, p.369-393, April 1992 [doi>10.1016/0743-1066(92)90008-Q]
	22	O. Wolfson , A. Ozeri, Parallel and Distributed Processing of Rules by Data-Reduction, IEEE Transactions on Knowledge and Data Engineering, v.5 n.3, p.523-530, June 1993 [doi>10.1109/69.224203]
	23	Ouri Wolfson , Avi Silberschatz, Distributed processing of logic programs, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.329-336, June 01-03, 1988, Chicago, Illinois, United States
	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.
	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.
	26	Maurice A. W. Houtsma , Peter M. G. Apers , Stefano Ceri, Distributed transitive closure computations: the disconnection set approach, Proceedings of the sixteenth international conference on Very large databases, p.335-346, September 1990, Brisbane, Australia
	27	M.A.W. tIoutsma, F. Cacace, and S. Ceri; Parallel hierarchical evaluation of transitzve closure queries; Technical Report, Universily of Twente, Nov. 1990.
	28	Guozhu Dong, On distributed processibility of datalog queries by decomposing databases, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.26-35, June 1989, Portland, Oregon, United States

CITED BY 9

	Guozhu Dong , Jianwen Su, Space-bounded FOIES (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.139-150, May 22-25, 1995, San Jose, California, United States
	Ashish Gupta , Inderpal Singh Mumick , V. S. Subrahmanian, Maintaining views incrementally, ACM SIGMOD Record, v.22 n.2, p.157-166, June 1, 1993
	Lars Bækgaard , Leo Mark, Incremental Computation of Set Difference Views, IEEE Transactions on Knowledge and Data Engineering, v.9 n.2, p.251-261, March 1997
	Ouri Wolfson , Soumitra Sengupta , Yechiam Yemini, Managing Communication Networks by Monitoring Databases, IEEE Transactions on Software Engineering, v.17 n.9, p.944-953, September 1991
	Lars Baekgaard , Leo Mark, Incremental computation of nested relational query expressions, ACM Transactions on Database Systems (TODS), v.20 n.2, p.111-148, June 1995
	Lars Bækgaard , Leo Mark, Incremental Computation of Time-Varying Query Expressions, IEEE Transactions on Knowledge and Data Engineering, v.7 n.4, p.583-590, August 1995
	James Bailey , Guozhu Dong , Mukesh Mohania , X. Sean Wang, Incremental View Maintenance By Base Relation Tagging in Distributed Databases, Distributed and Parallel Databases, v.6 n.3, p.287-309, July 1998
	Jacob Slonim , Michael Bauer , Paul Larson, CORDS: status and directions, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	Guozhu Dong , Jianwen Su, Deterministic FOIES are strictly weaker, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.127-146, 1997