Relational calculi in a deductive system

作者：

Highlights：

• Relational Calculus languages TRC and DRC have been included in the deductive system DES.

• TRC and DRC queries are translated into Datalog and executed by a deductive engine.

• TRC and DRC queries can be submitted to external relational databases via ODBC.

• The integrated development environment ACIDE is configured and specialized for TRC and DRC.

摘要

•Relational Calculus languages TRC and DRC have been included in the deductive system DES.•TRC and DRC queries are translated into Datalog and executed by a deductive engine.•TRC and DRC queries can be submitted to external relational databases via ODBC.•The integrated development environment ACIDE is configured and specialized for TRC and DRC.

论文关键词：Tuple relational calculus,Domain relational calculus,Relational algebra,SQL,Datalog,Database systems

论文评审过程：Received 21 December 2016, Revised 19 October 2017, Accepted 4 December 2017, Available online 7 December 2017, Version of Record 21 December 2017.

论文官网地址：https://doi.org/10.1016/j.eswa.2017.12.007