P A R T D Datalog and Recursion

First Page		Document Content
Date: 2010-02-12 06:45:46 Logic Datalog Deductive database Prolog Recursion SQL Logic programming Lambda calculus Function Computing Mathematics Query languages		P A R T D Datalog and Recursion Add to Reading List Source URL: webdam.inria.fr Download Document from Source Website File Size: 302,55 KB Share Document on Facebook

	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c DocID: 1qUeK - View Document
	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots DocID: 1qtLT - View Document
	A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO DocID: 1k4di - View Document
	Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand DocID: 1gBGm - View Document