| IEICE Technical Committee Submission System Conference Paper's Information |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top Page | Go Previous | [Japanese] / [English] |
| Paper Abstract and Keywords | ||
| Presentation | 2019-03-04 16:45 SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.)  SS2018-66 |
|
| Abstract | (in Japanese) | (See Japanese page) |
| (in English) | The authors recently proposed an SQL-based language CombSQL+ for specifying combinatorial optimization problems, and showed a solving method that uses an SMT solver. This method has an advantage that problem constraints are written in ordinary SQL queries, and hence it enables us an intuitive specification. In order to generate constraints to be solved by an SMT solver from a specification, it uses SQL queries extended for constrained tables, each of which represents a set of tables. Current extended queries, however, does not cover full-SQL query facilities, hence for this we need to develop a complex SQL-engine for constrained tables. This paper proposes a generation method of an ordinary SQL query, whose execution by an existing SQL-engine causes constraints for SMT solvers. Here, a key technique is the use of user-definable functions that may cause side-effects allowed in the database system SQLite. |
|
| Keyword | (in Japanese) | (See Japanese page) |
| (in English) | combinatorial optimization / SQL / SAT / SMT / constraint programming / / / | |
| Reference Info. | IEICE Tech. Rep., vol. 118, no. 471, SS2018-66, pp. 85-90, March 2019. | |
| Paper # | SS2018-66 | |
| Date of Issue | 2019-02-25 (SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| Download PDF | SS2018-66 |
|
| Conference Information | |
| Committee | SS |
| Conference Date | 2019-03-04 - 2019-03-05 |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Paper Information | |
| Registration To | SS |
| Conference Code | 2019-03-SS |
| Language | Japanese |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems |
| Sub Title (in English) | |
| Keyword(1) | combinatorial optimization |
| Keyword(2) | SQL |
| Keyword(3) | SAT |
| Keyword(4) | SMT |
| Keyword(5) | constraint programming |
| Keyword(6) | |
| Keyword(7) | |
| Keyword(8) | |
| 1st Author's Name | Genki Sakanashi |
| 1st Author's Affiliation | Nagoya University (Nagoya Univ.) |
| 2nd Author's Name | Masahiko Sakai |
| 2nd Author's Affiliation | Nagoya University (Nagoya Univ.) |
| 3rd Author's Name | Naoki Nishida |
| 3rd Author's Affiliation | Nagoya University (Nagoya Univ.) |
| 4th Author's Name | Kenji Hashimoto |
| 4th Author's Affiliation | Nagoya University (Nagoya Univ.) |
| 5th Author's Name | |
| 5th Author's Affiliation | () |
| 6th Author's Name | |
| 6th Author's Affiliation | () |
| Speaker | Author-1 |
| Date Time | 2019-03-04 16:45:00 |
| Presentation Time | 25 minutes |
| Registration for | SS |
| Paper # | SS2018-66 |
| Volume (vol) | vol.118 |
| Number (no) | no.471 |
| Page | pp.85-90 |
| #Pages | 6 |
| Date of Issue | 2019-02-25 (SS) |
[Return to Top Page]