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 条
  • [31] The interface between grammar and lexicon, using the example of non-personal constructions in Slavic languages
    Kunzmann-Muller, B
    ZEITSCHRIFT FUR SLAWISTIK, 2003, 48 (03): : 365 - 376
  • [32] Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models
    Alrabbaa, Christian
    Borgwardt, Stefan
    Koopmann, Patrick
    Kovtunova, Alisa
    RULES AND REASONING, RULEML+RR 2022, 2022, 13752 : 167 - 182
  • [33] XML document adaptation queries (XDAQ): An approach to adaptation reasoning using web query languages
    Kraus, M
    Bry, F
    Kitagawa, K
    PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, 2003, 2901 : 113 - 127
  • [34] A remark on the constructibility of real root representations of quivers using universal extension functors
    Wiedemann, Marcel
    JOURNAL OF ALGEBRA, 2009, 321 (06) : 1711 - 1718
  • [35] USING CONDITIONAL RESTRICTED BOLTZMANN MACHINES FOR SPECTRAL ENVELOPE MODELING IN SPEECH BANDWIDTH EXTENSION
    Wang, Yingxue
    Zhao, Shenghui
    Qu, Dan
    Kuang, Jingming
    2016 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING PROCEEDINGS, 2016, : 5930 - 5934
  • [36] Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
    Toman, David
    Weddell, Grant
    KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 355 - 363
  • [37] Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
    David Toman
    Grant Weddell
    KI - Künstliche Intelligenz, 2020, 34 : 355 - 363
  • [38] Development of a temporal extension to query travel behavior time paths using an object-oriented GIS
    Frihida, A
    Marceau, DJ
    Thériault, M
    GEOINFORMATICA, 2004, 8 (03) : 211 - 235
  • [39] Development of a Temporal Extension to Query Travel Behavior Time Paths Using an Object-Oriented GIS
    Ali Frihida
    Danielle J. Marceau
    Marius Thériault
    GeoInformatica, 2004, 8 : 211 - 235
  • [40] Multilingual Text & Handwritten Digit Recognition and Conversion of Regional languages into Universal Language Using Neural Networks
    Vidhale, Bhushan
    Khekare, Ganesh
    Dhule, Chetan
    Chandankhede, Pankaj
    Titarmare, Abhijit
    Tayade, Meenal
    2021 6TH INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2021,
12345