✦ LIBER ✦

A fixpoint semantics for stratified databases

✍ Scribed by Shen Yidong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A procedural semantics for stratified da

✍ Weidong Chen; Julie Yu-Chih Liu 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 500 KB

Fixpoint strategies for deductive databa

✍ Irène Guessarian 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 422 KB

A deterministic prolog fixpoint semantic

✍ Melvin Fitting 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 565 KB

A compact fixpoint semantics for term re

✍ M. Alpuente; M. Comini; S. Escobar; M. Falaschi; J. Iborra 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 716 KB

A new fixpoint semantics for general log

✍ François Fages 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 925 KB

Types, Logic, and Semantics for Nested D

✍ Achim Jung; Hermann Puhlmann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 984 KB