MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Typed Datalog." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Main Memory Oriented Optimization of OO Queries using Typed Datalog with Foreign Predicates
by Witold Litwin, Tore Risch — 1992 — IEEE Transactions on Knowledge and Data Engineering
…) Main Memory Oriented Optimization of OO Queries using Typed Datalog with Foreign Predicates Witold…
Cited by 47 (18 self) – Add To MetaCart

Semantics of static pointcuts in AspectJ
by Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere — 2007 — In Symp. Principles of Programming Languages
… type values such as lists. While we give a brief introduction to Datalog, we refer to the reader to [17…
Cited by 6 (0 self) – Add To MetaCart

An Extended Transformation Approach to Inductive Logic Programming
by Nada Lavrac, Peter A. Flach — 2000 — ACM Transactions on Computational Logic
… compound types like lists and sets. 4 Originally, LINUS could deal only with a typed Datalog representation…
Cited by 27 (6 self) – Add To MetaCart

Representing inheritance and overriding in Datalog
by Gillian Dobbie, Rodney Topor — 1993 — In Proc. of the Deductive Database Workshop in conjunction with ICLP'93
… of typed Datalog. We are interested in a class of programs called "simple" programs because each simple…
Cited by 1 (1 self) – Add To MetaCart

Deterministic and Non-Deterministic Stable Models
by Domenico Sacca, Carlo Zaniolo — 1997 — Journal of Logic and Computation
…, and characterizes the computational complexity of finding stable models for the various types of DATALOG programs…
Cited by 25 (6 self) – Add To MetaCart

An Extended Transformation Approach to . . .
by Nada Lavrač, Peter Flach — 2001 — ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
… and sets. 3 In this paper we only deal with a typed Datalog representation, i.e., all types are atomic…
Add To MetaCart

Datalog LITE: A deductive query language with linear time model checking
by Georg Gottlob, Erich Grädel, Helmut Veith, Erich Gr Adel, Rwth Aachen — ACM Transactions on Computational Logic
…Datalog LITE: A deductive query language with linear time model checking GEORG GOTTLOB Vienna…
Cited by 15 (5 self) – Add To MetaCart

A model for inheritance and overriding in deductive object-oriented systems (Extended Abstract)
by Gillian Dobbie, Rodney Topor — 1993
… to predicate atoms, the language becomes a form of typed Datalog. Before describing the semantics…
Cited by 9 (2 self) – Add To MetaCart

Integrating graph rewriting and standard software tools
by Uwe Aßmann, Johan Lövdahl — 2003 — of Lecture Notes in Computer Science
… constructively. As a logic, OptimixJ only supports binary typed Datalog, in its constructive form of edge…
Cited by 1 (0 self) – Add To MetaCart

Interestingness of Discovered Association Rules in terms of Neighborhood-Based Unexpectedness
by Guozhu Dong, Jinyan Li — 1998 — Proceedings of the Second Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD'98
… also define distances for rules of other types. For Datalog (or Horn clauses), we can define distance…
Cited by 24 (3 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB