Model-theoretical and deductive approaches to databases from the point of view of algebraic logic and geometry

被引：0

作者：

Plotkin, BI ^{[1
]}

机构：

[1] HEBREW UNIV JERUSALEM,INST MATH,GIVAT RAM,JERUSALEM,ISRAEL

来源：

ADVANCES IN DATABASES AND INFORMATION SYSTEMS | 1996年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：161 / 169

页数：9

共 50 条

[1] Logic approaches for deductive databases
Leung, Yim Yung
Lee, Dik Lun
IEEE Expert, 1988, 3 (04): : 64 - 75
[2] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
LEUNG, YY
LEE, DL
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
[3] SOME MODEL-THEORETICAL PROPERTIES OF LOGIC FOR PROGRAMS WITH RANDOM CONTROL
GRABOWSKI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 148 - 155
[4] Model theoretic approach to view updates in deductive databases
Fernandez, JA
Grant, J
Minker, J
JOURNAL OF AUTOMATED REASONING, 1996, 17 (02) : 171 - 197
[5] The Fundamental Basis Theorem of Geometry from an algebraic point of view
Bekbaev, U.
37TH INTERNATIONAL CONFERENCE ON QUANTUM PROBABILITY AND RELATED TOPICS (QP37), 2017, 819
[6] Two approaches to System-of-Systems from Lative Logic point of view
Eklund, Patrik
Kortelainen, Jari
6TH INTERNATIONAL YOUNG SCIENTIST CONFERENCE ON COMPUTATIONAL SCIENCE, YSC 2017, 2017, 119 : 16 - 21
[7] AGI from the Perspectives of Categorical Logic and Algebraic Geometry
Yan, King-Yin
ARTIFICIAL GENERAL INTELLIGENCE, AGI 2024, 2024, 14951 : 210 - 217
[8] MODEL AND THEORY FROM A SYSTEM-THEORETICAL POINT OF VIEW
KALVERAM, KT
PSYCHOLOGISCHE BEITRAGE, 1971, 13 (03): : 366 - 375
[9] Codd's Relational Model from the Point of View of Fuzzy Logic
Belohlavek, Radim
Vychodil, Vilem
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (05) : 851 - 862
[10] Algebraic cycles from a computational point of view
Simpson, Carlos
THEORETICAL COMPUTER SCIENCE, 2008, 392 (1-3) : 128 - 140

← 1 2 3 4 5 →