EXTENDING DATABASE PROGRAMMING LANGUAGE WITH DECLARATIVE QUERYING FACILITIES

被引：0
|
作者：
SAVNIK, I [1 ]
MOHORIC, T [1 ]
JOSIFOVSKI, V [1 ]
机构：
[1] UNIV LJUBLJANA,FAC ELECT ENGN & COMP SCI,LJUBLJANA 61111,SLOVENIA
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1994年 / 40卷 / 10-12期
关键词：
DATABASE PROGRAMMING LANGUAGES; QUERY LANGUAGES; COMPLEX OBJECTS;
D O I：
10.1016/0165-6074(94)90066-3
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The query language OVAL which is intended for the integration with the database programming language based on C++ is proposed in this paper. The work addresses the impedance mismatch problem [1] between the syntax and the semantics of the programming and query language. The query language OVAL is based on the functional query language FQL [3] extending it for the manipulation of complex objects. The salient features of the OVAL query language are: (i) functional nature of the query language, which makes the language suitable for the integration with the procedural programming languages and provides modular style of query definition, (ii) the use of schema information for expressing queries and (iii) recursive evaluation of the algebraic operations on set structured complex objects.
引用
收藏
页码：905 / 908
页数：4
相关论文
共 50 条
  • [31] CONSISTENCY AND NONDETERMINISM IN A DATABASE PROGRAMMING LANGUAGE
    CACACE, F
    CERI, S
    TANCA, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 495 : 325 - 341
  • [32] Integrating database and programming language constraints
    Shmueli, O
    Raghavachari, M
    Sarkar, V
    Bordawekar, R
    Burke, MG
    DATABASE PROGRAMMING LANGUAGES, 2004, 2921 : 90 - 109
  • [33] Towards Declarative Programming and Querying in a Distributed Cyber-Physical System: The i-VISION Case
    Kaefer, Tobias
    Harth, Andreas
    Mamessier, Sebastien
    2016 2ND INTERNATIONAL WORKSHOP ON MODELLING, ANALYSIS, AND CONTROL OF COMPLEX CPS (CPS DATA), 2016,
  • [34] Extending Datalog with Declarative Updates
    Mengchi Liu
    Journal of Intelligent Information Systems, 2003, 20 : 107 - 129
  • [35] The execution algorithm of mercury, an efficient purely declarative logic programming language
    Somogyi, Zoltan
    Henderson, Fergus
    Conway, Thomas
    Journal of Logic Programming, 29 (1-3):
  • [36] Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference
    Tehrani, Nazanin
    Arora, Nimar S.
    Li, Yucen Lily
    Shah, Kinjal Divesh
    Noursi, David
    Tingley, Michael
    Torabi, Narjes
    Masouleh, Sepehr
    Lippert, Eric
    Meijer, Erik
    INTERNATIONAL CONFERENCE ON PROBABILISTIC GRAPHICAL MODELS, VOL 138, 2020, 138 : 485 - 496
  • [37] SIGNAL - A DECLARATIVE LANGUAGE FOR SYNCHRONOUS PROGRAMMING OF REAL-TIME SYSTEMS
    GAUTIER, T
    LEGUERNIC, P
    BESNARD, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 257 - 277
  • [38] I+ - A MULTIPARADIGM LANGUAGE FOR OBJECT-ORIENTED DECLARATIVE PROGRAMMING
    NG, KW
    LUK, CK
    COMPUTER LANGUAGES, 1995, 21 (02): : 81 - 100
  • [39] A BDI agent programming language with failure handling, declarative goals, and planning
    Sardina, Sebastian
    Padgham, Lin
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2011, 23 (01) : 18 - 70
  • [40] Semi-Inflationary DATALOG:: A declarative database language with procedural features
    Guzzo, A
    Saccà, D
    AI COMMUNICATIONS, 2005, 18 (02) : 79 - 92
12345