An extension of SQL language for constraint programming on database and its processing system

数据库及其处理系统约束规划的SQL语言扩展

• 批准号: 17H01721
• 负责人: Sakai Masahiko
• 金额: $ 7.07万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01721/
• 关键词: 組合せ最適化問題; SMTソルバ; SQL言語; 組合せ最適化; プログラム変換; 拡張データ代数; 組合せ問題記述; 充足可能性判定

项目成果

組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ

从组合优化问题描述生成 SMT 求解器输入表达式的 SQL 查询

• 发表时间: 2019
• 作者: 坂梨元軌;酒井正彦，西田直樹;橋本健二
• 通讯作者: 橋本健二

組合せ最適化問題を記述するための関係代数の集合上への拡張

关系代数在集合上的扩展以描述组合优化问题

• 发表时间: 2018
• 作者: 坂梨元軌;酒井正彦;西田直樹;橋本健二
• 通讯作者: 橋本健二

SQL for combinatorial optimization problems and SMT-based solving by SQL transformation

用于组合优化问题的 SQL 以及通过 SQL 转换进行基于 SMT 的求解

• 发表时间: 2019
• 作者: Sakanashi Genki;Sakai Masahiko;Masahiko Sakai
• 通讯作者: Masahiko Sakai

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems

用扩展SQL编写的组合优化问题转化为约束问题

• DOI: 10.1145/3236950.3236963
• 发表时间: 2018
• 期刊: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), ACM, isbn:978-1-4503-6441-6
• 作者: Sakanashi Genki;Sakai Masahiko
• 通讯作者: Sakai Masahiko

擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化

通过引入伪布尔约束加速组合优化求解器 CombSQL+

• 发表时间: 2021
• 期刊: 電子情報通信学会技術報告
• 作者: 岸潤一郎;酒井正彦;西田直樹;橋本健二
• 通讯作者: 橋本健二