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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
SQL for combinatorial optimization problems and SMT-based solving by SQL transformation
用于组合优化问题的 SQL 以及通过 SQL 转换进行基于 SMT 的求解
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masahiko Sakai
  • 通讯作者：
    Masahiko Sakai
組合せ最適化問題を記述するための関係代数の集合上への拡張
关系代数在集合上的扩展以描述组合优化问题
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    坂梨元軌; 酒井正彦; 西田直樹; 橋本健二
  • 通讯作者：
    橋本健二
組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
从组合优化问题描述生成 SMT 求解器输入表达式的 SQL 查询
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    坂梨元軌; 酒井正彦;西田直樹; 橋本健二
  • 通讯作者：
    橋本健二
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems
用扩展SQL编写的组合优化问题转化为约束问题
  • DOI：
    10.1145/3236950.3236963
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sakanashi Genki;Sakai Masahiko
  • 通讯作者：
    Sakai Masahiko
Transformation of combinatorial optimization problems written in extended SQL into constraint problems
用扩展SQL编写的组合优化问题转化为约束问题
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Genki Sakanashi;Masahiko Sakai
  • 通讯作者：
    Masahiko Sakai
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Sakai Masahiko其他文献

Force Estimation Method for a Magnetic Lead-Screw-Driven Linear Actuator
磁力丝杠驱动线性执行器的力估计方法
  • DOI：
    10.1109/tmag.2018.2845455
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    2.1
  • 作者：
    Heya Akira;Nakata Yoshihiro;Sakai Masahiko;Ishiguro Hiroshi;Hirata Katsuhiro
  • 通讯作者：
    Hirata Katsuhiro
A Reduction Order for Orienting Equations in Theorem Proving of Constrained TRSs
约束TRS定理证明中定向方程的降序
  • DOI：
  • 发表时间：
    2008-07-24
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nishida Naoki;Sakata Tsubasa;Sakai Masahiko;Kusakari Keiichirou;Sakabe Toshiki
  • 通讯作者：
    Sakabe Toshiki
Force Estimation Method for a Magnetic Lead-Screw-Driven Linear Actuator
磁力丝杠驱动线性执行器的力估计方法
  • DOI：
    10.1109/tmag.2018.2845455
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    2.1
  • 作者：
    Heya Akira;Nakata Yoshihiro;Sakai Masahiko;Ishiguro Hiroshi;Hirata Katsuhiro
  • 通讯作者：
    Hirata Katsuhiro
Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method
基于强可计算依赖对方法证明高阶重写系统的终止
  • DOI：
  • 发表时间：
    2006-04-13
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Isogai Yasuo;Kusakari Keiichirou;Sakai Masahiko;Sakabe Toshiki;Nishida Naoki
  • 通讯作者：
    Nishida Naoki
On Representation of Structures and Unions in Logically Constrained Rewriting
逻辑约束重写中结构和联合的表示
  • DOI：
  • 发表时间：
    2019-01-08
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kanazawa Yoshiaki;Nishida Naoki;Sakai Masahiko
  • 通讯作者：
    Sakai Masahiko

Sakai Masahiko的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

相似海外基金

A Development of Perfect Sampling with SAT/SMT Solvers
SAT/SMT 求解器完美采样的开发
  • 批准号：
    20K11694
  • 财政年份：
    2020
  • 资助金额：
    $ 7.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory
基于数学论证理论开发帮助解决规范不一致的工具
  • 批准号：
    19K11914
  • 财政年份：
    2019
  • 资助金额：
    $ 7.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
SMT制約式の機械学習を用いた自動チューニング
使用SMT约束机器学习进行自动调优
  • 批准号：
    19K20241
  • 财政年份：
    2019
  • 资助金额：
    $ 7.07万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
嵌入式系统模型设计混合模型检验方法的建立
  • 批准号：
    18K11234
  • 财政年份：
    2018
  • 资助金额：
    $ 7.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
软件安全与隐私的静态分析与动态监控方法
  • 批准号：
    15H02684
  • 财政年份：
    2015
  • 资助金额：
    $ 7.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了