Scoping Monadic Relational Database Queries

被引:0
|
作者
Ekblad, Anton [1 ]
机构
[1] Chalmers Univ Technol, Dept Comp Sci & Engn, Gothenburg, Sweden
来源
PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL (HASKELL '19) | 2019年
关键词
domain-specific languages; haskell; relational databases; scoping;
D O I
10.1145/3331545.3342598
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We present a novel method for ensuring that relational database queries in monadic embedded languages are well-scoped, even in the presence of arbitrarily nested joins and aggregates. Demonstrating our method, we present a simplified version of Selda, a monadic relational database query language embedded in Haskell, with full support for nested inner queries. To our knowledge, Selda is the first relational database query language to support fully general inner queries using a monadic interface. In the Haskell community, monads are the de facto standard interface to a wide range of libraries and EDSLs. They are well understood by researchers and practitioners alike, and they enjoy first class support by the standard libraries. Due to the difficulty of ensuring that inner queries are well-scoped, database interfaces in Haskell have previously either been forced to forego the benefits of monadic interfaces, or have had to do without the generality afforded by inner queries.
引用
收藏
页码:114 / 124
页数:11
相关论文
共 50 条
  • [21] Monadic Refinements for Relational Cost Analysis
    Radicek, Ivan
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Zuleger, Florian
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (02):
  • [22] Robust heuristic algorithms for exploiting the common tasks of relational cloud database queries
    Dokeroglu, Tansel
    Bayir, Murat Ali
    Cosar, Ahmet
    APPLIED SOFT COMPUTING, 2015, 30 : 72 - 82
  • [23] Monadic Datalog and Regular Tree Pattern Queries
    Mazowiecki, Filip
    Murlak, Filip
    Witkowski, Adam
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 426 - 437
  • [24] A relational database for the monitoring and analysis of watershed hydrologic functions: I. Database design and pertinent queries
    Carleton, CJ
    Dahlgren, RA
    Tate, KW
    COMPUTERS & GEOSCIENCES, 2005, 31 (04) : 393 - 402
  • [25] Coloured Petri net-based modeling for distributed relational database queries
    Chen, Pe-Te
    Chen, Yu-Tsai
    Yang, Chen-Chau
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2006, 29 (06) : 1029 - 1039
  • [26] Answers to database queries concerning imprecise information in logical fuzzy relational databases
    Hsieh, Nan-Chen
    Chiang, Ding-An
    Wang, Tsong-Sheng
    Tamkang Journal of Science and Engineering, 2004, 7 (03): : 149 - 160
  • [27] Combining user and database perspective for solving keyword queries over relational databases
    Bergamaschi, Sonia
    Guerra, Francesco
    Interlandi, Matteo
    Trillo-Lado, Raquel
    Velegrakis, Yannis
    INFORMATION SYSTEMS, 2016, 55 : 1 - 19
  • [28] Quality-Based SQL: Specifying Information Quality in Relational Database Queries
    Parssian, Amir
    Yeoh, William
    Ee, Mong Shan
    COMPUTER, 2015, 48 (09) : 69 - 74
  • [29] Monadic queries over tree-structured data
    Gottlob, G
    Koch, C
    17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 189 - 202
  • [30] TREE QUERIES - A SIMPLE CLASS OF RELATIONAL QUERIES
    GOODMAN, N
    SHMUELI, O
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1982, 7 (04): : 653 - 677