✦ LIBER ✦

Types, Logic, and Semantics for Nested Databases

✍ Scribed by Achim Jung; Hermann Puhlmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Types, logic and semantics for nested da

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 75 KB

Incomplete types for logic databases

✍ Veronica Dahl 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 295 KB

Logic and Semantics for Imperatives

✍ Nate Charlow 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 713 KB

Logic for Nested Graphs

✍ Anne Preller; Marie Laure Mugnier; Michel Chein 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 232 KB

An Equivalence between Dependencies in N

✍ Sven Hartmann; Sebastian Link 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 261 KB

A logical design method for relational d

✍ Weiyi Liu; Hong Yao 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 615 KB