Safety, domain independence and translation of complex value database queries

被引:4
|
作者
Liu, Hong-Cheu [1 ]
Yu, Jeffrey Xu [2 ]
Liang, Weifa [3 ]
机构
[1] Diwan Univ, Dept Comp Sci & Informat Engn, Madou 72153, Tainan County, Taiwan
[2] Chinese Univ Hong Kong, Dept Syst Engn & Engn Management, Hong Kong, Hong Kong, Peoples R China
[3] Australian Natl Univ, Dept Comp Sci, Canberra, ACT 0200, Australia
关键词
complex value; safe query; domain independence; query translation; expressive power;
D O I
10.1016/j.ins.2008.02.005
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify recursive sets of formulas, called embedded allowed, which is a class with desirable properties of "reasonable" queries. We then show that all embedded allowed calculus (or fix-point) queries are domain independent and continuous. An algorithm for translating embedded allowed queries into equivalent algebraic expressions as a basis for evaluating safe queries in all calculus-based query classes has been developed. Finally we discuss the topic of "domain independent query programs", compare the expressive power of the various complex value query languages and their embedded allowed versions, and discuss the relationship between safety, embedded allowed, and domain independence in the various calculus-based queries. (C) 2008 Elsevier Inc. All rights reserved.
引用
收藏
页码:2507 / 2533
页数:27
相关论文
共 50 条
  • [1] TRANSLATION OF FUZZY QUERIES FOR RELATIONAL DATABASE SYSTEM
    CHANG, SK
    KE, JS
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1979, 1 (03) : 281 - 294
  • [2] SAFETY AND TRANSLATION OF RELATIONAL CALCULUS QUERIES
    VANGELDER, A
    TOPOR, RW
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1991, 16 (02): : 235 - 278
  • [3] Modifying queries on complex objects in database federations
    Vermeer, MWW
    Apers, PMG
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (3-4) : 219 - 240
  • [4] Methods for parallel execution of complex database queries
    Reuter, A
    PARALLEL COMPUTING, 1999, 25 (13-14) : 2177 - 2188
  • [5] Structure of domain novice users' queries to a history database
    Cole, C
    Leide, JE
    Nwakamma, E
    Beheshti, J
    Large, A
    ASIST 2003: PROCEEDINGS OF THE 66TH ASIST ANNUAL MEETING, VOL 40, 2003: HUMANIZING INFORMATION TECHNOLOGY: FROM IDEAS TO BITS AND BACK, 2003, 40 : 271 - 279
  • [6] Safety, domain independence and generalized quantification
    Badia, A
    DATA & KNOWLEDGE ENGINEERING, 2001, 38 (02) : 147 - 172
  • [7] Tutoring Tool for Formulating Database Queries with Complex Quantifiers
    Kawash, Jalal
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 1614 - 1615
  • [8] Towards Domain Independence in Machine Aided Human Translation
    Reddy, Aarthi
    Rose, Richard C.
    INTERSPEECH 2008: 9TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2008, VOLS 1-5, 2008, : 2358 - 2361
  • [9] Complex Queries in a Shared Multi User Relational Cloud Database
    Sidorov, Vasily
    Ng, Wee Keong
    2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD 2013), 2013, : 903 - 909
  • [10] Classification of chemical compounds to support complex queries in a pathway database
    Wittig, U
    Weidemann, A
    Kania, R
    Peiss, C
    Rojas, I
    COMPARATIVE AND FUNCTIONAL GENOMICS, 2004, 5 (02): : 156 - 162