EXTENSION OF DEDUCTIVE QUERY LANGUAGES USING CONSTRUCTIONS WITH A RESTRICTED UNIVERSAL QUANTIFIER

被引：0

作者：

ZADOROZHNYI, VI ^{[1
]}

机构：

[1] RUSSIAN ACAD SCI,INST PROBLEMS INFORMAT,MOSCOW 117900,RUSSIA

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1995年 / 21卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The possibility of including constructions with a restricted universal quantifier into pure Datalog is studied. Model-theoretical and evaluation (based on fixed point iteration) semantics are defined for the Datalog(For All) language obtained. Problems of expressiveness and optimization of magic sets for Datalog(For All) are discussed.

引用

页码：62 / 70

页数：9

共 48 条

[1] Extension of Deductive Query Languages Using Constructions with a Restricted Universal Quantifier
Programming and Computer Software (English Translation of Programmirovanie), 21 (02):
[2] ALGEBRAIC APPROACH TO FORMALIZATION OF DEDUCTIVE QUERY LANGUAGES
ZADOROZHNYI, VI
NIKITCHENKO, NS
PROGRAMMING AND COMPUTER SOFTWARE, 1992, 18 (06) : 259 - 273
[3] MUTUALLY COMPLEMENTARY FORMALIZATIONS OF DEDUCTIVE QUERY LANGUAGES
ZADOROZHNYI, VI
KALINICHENKO, LA
NIKITCHENKO, NS
CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (02) : 229 - 241
[4] Deductive query languages for recursively typed complex objects
Hull, R
Su, JW
JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (03): : 231 - 261
[5] An extension to GCWA and query evaluation for disjunctive deductive databases
Wang, KW
Zhou, LZ
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2001, 16 (03) : 229 - 253
[6] An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Kewen Wang
Lizhu Zhou
Journal of Intelligent Information Systems, 2001, 16 : 229 - 253
[7] HIERARCHICAL SEMANTIC SYSTEM WITH A DEDUCTIVE INTERPRETATION OF THE 2ND ORDER UNIVERSAL QUANTIFIER
ZASHEV, YA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1979, 32 (07): : 851 - 854
[8] Tree extension algebras: Logics, automata, and query languages
Benedikt, M
Libkin, L
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 203 - 212
[9] A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Cristia, Maximiliano
Rossi, Gianfranco
JOURNAL OF AUTOMATED REASONING, 2024, 68 (04)
[10] Using a deductive database for modular SQL query development
Maskarinec, M
Neumann, K
IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 453 - 456

← 1 2 3 4 5 →