Design and implementation of the glue-nail database system

Derr, Marcia A.; Morishita, Shinichi; Phipps, Geoffrey

doi:10.1145/170035.170065

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1994

2001

Publication Types

Select...

Book3

Article2

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 26 publications

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

The Relationlog system prototype

Liu

2001

Softw Pract Exp

View full text Add to dashboard Cite

The Relationlog system is a novel persistent deductive database system for advanced data and knowledgebased applications. It directly supports the storage and inference of data with complex structures, especially data supported in nested relational and complex-object models. The Relationlog system supports the Relationlog query language, which is a typed extension of Datalog with tuples and sets and stands in the same relationship to the nested relational and complex-object models as Datalog stands to the relational model. It also supports an SQL-like data definition language and a declarative data manipulation language. This article introduces the Relationlog language, discusses the system architecture, the design decisions incorporated within its implementation, and our experience in developing the system.

show abstract

The Relationlog system prototype

Liu

2001

Softw Pract Exp

View full text Add to dashboard Cite

show abstract

An Extension of Van Gelder's Alternating Fixpoint to Magic Programs

Morishita

1996

Journal of Computer and System Sciences

Self Cite

View full text Add to dashboard Cite

We study the application of the magic-sets transformation technique to Datalog c (function-free programs with negation) that may not have two-valued well-founded models. In this general setting, the wellfounded model of the original program does not always agree with the well-founded model of the magic program derived by commonly used left-to-right sideways information-passing strategies on the query. In order to correct this disagreement we present a novel method that is obtained by slightly and naturally tailoring Van Gelder's alternating fixpoint technique to any magic program. ]

show abstract