Fixpoint calculus for querying semistructured data

被引：0
|
作者：
Bidoit, N [1 ]
Ykhlef, M [1 ]
机构：
[1] Univ Bordeaux 1, LaBRI, CNRS, UMR 5800, F-33405 Talence, France
来源：
WORLD WIDE WEB AND DATABASES | 1999年 / 1590卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper proposes two query languages for semistructured data G-Fixpoint and G-While whose expressive power is comparable to Fixpoint and While respectively. These languages are multi-sorted like logic languages integrating fixpoint path expressions.
引用
收藏
页码：78 / 97
页数：20
相关论文
共 50 条
  • [31] Managing historical semistructured data
    Chawathe, SS
    Abiteboul, S
    Widom, J
    THEORY AND PRACTICE OF OBJECT SYSTEMS, 1999, 5 (03): : 143 - 162
  • [32] Consistency control for semistructured data
    Gorshkova, EA
    Nekrest'yanov, IS
    Novikov, BA
    Pavlova, EY
    PROGRAMMING AND COMPUTER SOFTWARE, 2000, 26 (03) : 134 - 139
  • [33] Research into verifying semistructured data
    Dobbie, Gillian
    Sun, Jing
    Li, Yuan Fang
    Lee, Scott UK-Jin
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2006, 4317 : 361 - +
  • [34] Constraints for semistructured data and XML
    Buneman, Peter
    Fan, Wenfei
    Simeon, Jerome
    Weinstein, Scott
    SIGMOD Record (ACM Special Interest Group on Management of Data), 2001, 30 (01): : 47 - 54
  • [35] Special issue on semistructured data
    Suciu, D
    Vossen, G
    INFORMATION SYSTEMS, 1998, 23 (08) : 517 - 519
  • [36] Constraints for semistructured data and XML
    Buneman, P
    Fan, WF
    Siméon, J
    Weinstein, S
    SIGMOD RECORD, 2001, 30 (01) : 47 - 54
  • [37] Storing semistructured data with STORED
    Deutsch, A
    Fernandez, M
    Suciu, D
    SIGMOD RECORD, VOL 28, NO 2 - JUNE 1999: SIGMOD99: PROCEEDINGS OF THE 1999 ACM SIGMOD - INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 1999, : 431 - 442
  • [38] Conceptual modeling for semistructured data
    Badia, A
    WISE 2002: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING (WORKSHOPS), 2002, : 170 - 177
  • [39] Applications of annotated predicate calculus to querying inconsistent databases
    Arenas, M
    Bertossi, L
    Kifer, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 926 - 941
  • [40] A FIXPOINT SEMANTICS FOR NONDETERMINISTIC DATA FLOW
    STAPLES, J
    NGUYEN, VL
    JOURNAL OF THE ACM, 1985, 32 (02) : 411 - 444
12345