|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2015 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12871
|
| タイトル: | Formal Semantics of Core SQL Language based on the K Framework |
| 著者: | Sitthisak, Pakakorn |
| 発行日: | 2015-02-17 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2015-001 |
| 開始ページ: | 1 |
| 終了ページ: | 71 |
| 抄録: | There are lots of SQL dialects, e.g., MySQL, various versions of Oracle, and Microsoft SQL Server, ProgreSQL, and more. They share common semantics on standard table operations (with slight syntax differences), which appear in a textbook of relational database management systems. However, formal semantics of non-standard operations, e.g., type violation like SELECT 1 + "1a", varies in detail. Most of programmers in system development do not aware of such differences, which will be crucial when applying formal methods. They are typically coercion, NULL, the name space, and the error handling. Even a standard operation JOIN varies depending on detailed types (including the bit-width) of arguments. This thesis investigates detailed semantics of the core of SQL, specifically on MySQL and Oracle11. First, we observe their formal semantics by testing queries on boundary cases. Next, the semantics of the core of MySQL is implemented on the K framework. We call it KSQL, which covers basic table operations, like selection, creation, deletion, update, and insertion. They are defined with the features of coercion, NULL, and the name space convention. Lastly, we discuss on current limitations and difficulties in KSQL implementation. |
| URI: | http://hdl.handle.net/10119/12871 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2015
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2015-001.pdf | | 484Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
