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 条
  • [41] Non-local boundary value problem for partial differential equation in a complex domain
    Il'kiv, V. S.
    Volyans'ka, I. I.
    CARPATHIAN MATHEMATICAL PUBLICATIONS, 2014, 6 (01) : 44 - 58
  • [42] Assessment of Milk Quality and Food Safety Challenges in the Complex Nairobi Dairy Value Chain
    Kiambi, Stella
    Fevre, Eric M.
    Alarcon, Pablo
    Gitahi, Nduhiu
    Masinde, Johnstone
    Kang'ethe, Erastus
    Aboge, Gabriel
    Rushton, Jonathan
    Onono, Joshua Orungo
    FRONTIERS IN VETERINARY SCIENCE, 2022, 9
  • [43] DIFFERENTIAL-OPERATORS OF FRACTIONAL ORDER AND BOUNDARY-VALUE-PROBLEMS IN THE COMPLEX-DOMAIN
    DJRBASHIAN, MM
    GOHBERG ANNIVERSARY COLLECTION, VOL 2: TOPICS IN ANALYSIS AND OPERATOR THEORY, 1989, 41 : 153 - 172
  • [44] Boundary value problems to first-order complex partial differential equations in a ring domain
    Vaitekhovich, T. S.
    INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, 2008, 19 (3-4) : 211 - 233
  • [45] Structure of a hepatitis C virus RNA domain in complex with a translation inhibitor reveals a binding mode reminiscent of riboswitches
    Dibrov, Sergey M.
    Ding, Kejia
    Brunn, Nicholas D.
    Parker, Matthew A.
    Bergdahl, B. Mikael
    Wyles, David L.
    Hermann, Thomas
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2012, 109 (14) : 5223 - 5228
  • [46] Technology for Obtaining the Approximate Value of Moving Singular Points for a Class of Nonlinear Differential Equations in a Complex Domain
    Orlov, Victor
    Gasanov, Magomedyusuf
    MATHEMATICS, 2022, 10 (21)
  • [47] Translation of SOX10 3′ untranslated region causes a complex severe neurocristopathy by generation of a deleterious functional domain
    Inoue, Ken
    Ohyama, Tomoko
    Sakuragi, Yosuke
    Yamamoto, Ryoko
    Inoue, Naoko A.
    Yu Li-Hua
    Goto, Yu-ichi
    Wegner, Michael
    Lupski, James R.
    HUMAN MOLECULAR GENETICS, 2007, 16 (24) : 3037 - 3046
  • [48] APPROXIMATE SOLUTION OF INITIAL-VALUE PROBLEM, FOR RETARDED DIFFERENTIAL-EQUATIONS ON COMPLEX-DOMAIN
    RIZK, MM
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 30 (08) : 19 - 27
  • [49] Multiple roles for the C-terminal domain of eIF5 in translation initiation complex assembly and GTPase activation
    Asano, K
    Shalev, A
    Phan, L
    Nielsen, K
    Clayton, J
    Valásek, L
    Donahue, TF
    Hinnebusch, AG
    EMBO JOURNAL, 2001, 20 (09): : 2326 - 2337
  • [50] Towards Qualifiable Graphical Editing of Complex Domain-specific Models in Safety-critical Avionics
    Waldvogel, Andreas
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 158 - 163