On the power of Alexander templates

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the power of Alexander templates

Full text

Pdf (1.02 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

Philadelphia, Pennsylvania, United States

Pages: 150 - 159

Year of Publication: 1989

ISBN:0-89791-308-6

Author

H. Seki

Institute for New Generation Computer Technology, 1-4-28, Mita, Minato-ku, Tokyo 108, Japan

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 23, Citation Count: 10

Additional Information:

references cited by index terms

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/73721.73737 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.

	ABW87	K. R. Apt , H. A. Blair , A. Walker, Towards a theory of declarative knowledge, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	APP*86	Foto Afrati , Christos Papadimitriou , George Papageorgiou , Athena Roussou , Yehoshua Sagiv , Jeffrey D Ullman, Convergence of sideways query evaluation, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.24-30, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15400]
	BMSU87	Francois Bancilhon , David Maier , Yehoshua Sagiv , Jeffrey D Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.1-15, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15399]
	BR86a	Francois Bancilhon , Raghu Ramakrishnan, An amateur's introduction to recursive query processing strategies, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.16-52, May 28-30, 1986, Washington, D.C., United States
	BR86b	C. Beeri , R. Ramakrishnan, On the power of magic, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.269-284, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28689]
	Die87	S.W. Dietrich. Extension Tables: Memo Relations in Logic Programming. In Proc. 1987 Symposium on Logic Programming, pages 264- 272, IEEE Computer Society, 1987.
	Ker87	J.-M. Kerisit. A Relational Approach to Logic Programing : The Extended Alexander Method. Technical Report DSG/CRG/87004, Centre de Recherche Groupe, Bull, 1987.
	KK87	T. Kanamori and T. Kawamura. Analyzing Success Pa~.ternn of Logic Programs by Abstract Hybrid Interpretation. ICOT Technical Report TR-279, ICOT, 1987.
	KL88	Micheal Kifer , Eliezer L. Lozinskii, SYGRAF: Implementing Logic Programs in a Database Style, IEEE Transactions on Software Engineering, v.14 n.7, p.922-935, July 1988 [doi>10.1109/32.42735]
	KRS88	Ravi Krishnamurthy , Raghu Ramakrishnan , Oded Shmueli, A framework for testing safety and effective computability of extended datalog, Proceedings of the 1988 ACM SIGMOD international conference on Management of data, p.154-163, June 01-03, 1988, Chicago, Illinois, United States
	Llo87	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	Ram88	R. Ramakrishnan. Magic Templates: A Spellbinding Approach to Logic Programs. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 140-159, Seattle, 1988.
	RLK86	J Rohmer , R Lescoeur , J M Kerisit, The Alexander method-a technique for the processing of recursive axioms in deductive databases, New Generation Computing, v.4 n.3, p.273-285, 1986 [doi>10.1007/BF03037407]
	Sek	H. Seki. On the Power of Continuation Passing. manuscript, 1987. revised version to appear as ICOT Technical Report.
	SI88	H. Seki and H. Itoh. An Evaluation Method for S~ratified Progrart~ under the Extended CWA. ICOT Technical Report 337, ICOT, 1988. also in Fifth International Conference Symposium on Logic Programming, Seattle.
	TS86	Hisao Tamaki , Taisuke Sato, OLD resolution with tabulation, Proceedings on Third international conference on logic programming, p.84-98, September 1986, London, United Kingdom
	UG88	Jeffrey D. Ullman , Allen Van Gelder, Efficient tests for top-down termination of logical rules, Journal of the ACM (JACM), v.35 n.2, p.345-373, April 1988 [doi>10.1145/42282.42285]
	Vie86	L. Vieille. Recursive Axioms in Deductive Databases: The Query/Subquery Approach. in Proceedings of the First International Conference on Expert Database Systems, pages 179- 193, Charleston, 1986.
	Vie87a	L. Vieille. A Database-complete Proof Procedure Based on SLD-resolution. In Proceedings of the Fourth International Conference on Logic Programming, pages 74-103, Melbourne, 1987.
	Vie87b	L Vieille. From qsq to,oa~d8 qoS~q: Global Optimization of Recursive Querie~. Technical Report TR-KB- 18, ECRC, 1987.

CITED BY 10

	Raghu Ramakrishnan, Parallelism in logic programs, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.246-260, December 1989, San Francisco, California, United States
	J. P. Gallagher, Tutorial on specialisation of logic programs, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.88-98, June 14-16, 1993, Copenhagen, Denmark
	Seppo Sippu , Eljas Soisalon-Soininen, An analysis of magic sets and related optimization strategies for logic queries, Journal of the ACM (JACM), v.43 n.6, p.1046-1088, Nov. 1996
	Weidong Chen , David S. Warren, Tabled evaluation with delaying for general logic programs, Journal of the ACM (JACM), v.43 n.1, p.20-74, Jan. 1996
	David S. Warren, Memoing for logic programs, Communications of the ACM, v.35 n.3, p.93-111, March 1992
	Weidong Chen , David S. Warren, Query evaluation under the well-founded semantics, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.168-179, May 25-28, 1993, Washington, D.C., United States
	Konstantinos Sagonas , Terrance Swift , David S. Warren, XSB as an efficient deductive database engine, ACM SIGMOD Record, v.23 n.2, p.442-453, June 1994
	Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan , Praveen Seshadri, The CORAL deductive system, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
	E. Villemonte de la Clergerie, Layer sharing: an improved structure-sharing framework, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.345-358, March 1993, Charleston, South Carolina, United States
	Kenneth A. Ross, Modular stratification and magic sets for Datalog programs with negation, Journal of the ACM (JACM), v.41 n.6, p.1216-1266, Nov. 1994