✦ LIBER ✦

Semantics and properties of existential quantifiers in deductive databases

✍ Scribed by Sang Ho Lee; Lawrence J. Henschen

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 587 KB
Volume: 47
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(93)90232-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics and Expressive Power of Nondet

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases

✍ Fosca Giannotti; Dino Pedreschi; Carlo Zaniolo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Nondeterministic extensions are needed in logic-based languages, such as first-order relational languages and Datalog, to enhance their expressive power and support the efficient formulation of low-complexity problems and database queries. In this paper, we study the semantics and expressive power o

The complexity of the disjunction and ex

The complexity of the disjunction and existential properties in intuitionistic logic

✍ Sam Buss; Grigori Mints 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 776 KB

Estimation of Material Properties in Fer

Estimation of Material Properties in Ferrous and AluminumAlloy Databases

✍ S. Masson; D. Basseti; J-Y. Buffière; Y. Bréchet 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 103 KB

Intellectual property concepts — authors

Intellectual property concepts — authorship and originality — II: The criterion of originality for copyright in computer programs and databases: A galloping trojan horse

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 595 KB

Prediction of missing properties in fati

Prediction of missing properties in fatigue databases: Ishi, A., Hihei, M., Kanazawa, K. and Nishijima, S. J. Soc. Mater. Sci., Japan Sept. 1990 39, 1285–1291 (in Japanese)

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 181 KB

Impact of mutant p53 functional properti

Impact of mutant p53 functional properties on TP53 mutation patterns and tumor phenotype: lessons from recent developments in the IARC TP53 database

✍ Audrey Petitjean; Ewy Mathe; Shunsuke Kato; Chikashi Ishioka; Sean V. Tavtigian; 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB

The tumor suppressor gene TP53 is frequently mutated in human cancers. More than 75% of all mutations are missense substitutions that have been extensively analyzed in various yeast and human cell assays. The International Agency for Research on Cancer (IARC) TP53 database (www-p53.iarc.fr) compiles