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 条
  • [41] Mixed-mode Universal Filter Using FD-CCCTA and its Extension as Shadow Filter
    Singh, Divya
    Paul, Sajal K.
    INFORMACIJE MIDEM-JOURNAL OF MICROELECTRONICS ELECTRONIC COMPONENTS AND MATERIALS, 2022, 52 (04): : 239 - 262
  • [42] Q-PD: query graph extension framework using predicate-based RDF on linked open data
    Kim, Jongmo
    Kim, Kunyoung
    Sohn, Mye
    Park, Gyudong
    INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2020, 16 (02) : 105 - 125
  • [43] Q-PD: Query graph extension framework using predicate-based RDF on linked open data
    Kim J.
    Kim K.
    Sohn M.
    Park G.
    International Journal of Web and Grid Services, 2020, 16 (02): : 105 - 125
  • [44] Spectral clustering and query expansion using embeddings on the graph-based extension of the set-based information retrieval model
    Kalogeropoulos, Nikitas-Rigas
    Kontogiannis, George
    Makris, Christos
    EXPERT SYSTEMS WITH APPLICATIONS, 2025, 263
  • [45] Comparison of Universal Versus Age-Restricted Screening of Colorectal Tumors for Lynch Syndrome Using Mismatch Repair Immunohistochemistry A Cohort Study
    Li, Dan
    Hoodfar, Elizabeth
    Jiang, Sheng-Fang
    Udaltsova, Natalia
    Pham, Nhung P.
    Jodesty, Yves
    Armstrong, Mary Anne
    Hung, Yun-Yi
    Baker, Robin J.
    Postlethwaite, Debbie
    Ladabaum, Uri
    Levin, Theodore R.
    Corley, Douglas A.
    Bergoffen, JoAnn
    ANNALS OF INTERNAL MEDICINE, 2019, 171 (01) : 19 - +
  • [46] Extension of the Quantum Universal Exchange Language to precision medicine and drug lead discovery. Preliminary example studies using the mitochondrial genome
    Robson, Barry
    COMPUTERS IN BIOLOGY AND MEDICINE, 2020, 117
  • [47] Prediction of tool-chip interface friction and chip-groove effects in machining with restricted contact grooved tools using the universal slip-line model
    Wang, X
    Jawahir, IS
    ENGINEERING PLASTICITY FROM MACROSCALE TO NANOSCALE PTS 1 AND 2, 2003, 233-2 : 469 - 476
  • [48] Analytical predictions and experimental validation of cutting force ratio, chip thickness, and chip back-flow angle in restricted contact machining using the universal slip-line model
    Fang, N
    Jawahir, IS
    INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 2002, 42 (06): : 681 - 694
12345