×
Ioannidis, Yannis E.; Wong, Eugene

Towards an algebraic theory of recursion. (English) Zbl 0799.68062

J. Assoc. Comput. Mach. 38, No. 2, 329-381 (1991).

Cited in 6 Documents

MSC:

68P15 Database theory
68N17 Logic programming
03D20 Recursive functions and relations, subrecursive hierarchies
68P20 Information storage and retrieval of data

Keywords:

algebraic approaches to semantics; logic programming; query languages; recursive query processing; closed semiring; nonlinear recursion; Horn clauses; bilinear recursion
Cite Review PDF
Full Text: DOI Link