Formal Semantics of Core SQL Language based on the K Framework

Material type: 文書・図像類

Author: Sitthisak, Pakakorn

Publisher: 北陸先端科学技術大学院大学情報科学研究科

Publication date: 2015-02-17

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 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...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAIST Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: Formal Semantics of Core SQL Language based on the K Framework
Author/Editor: Sitthisak, Pakakorn
Author Heading: Sitthisak, Pakakorn
Publication, Distribution, etc.: 北陸先端科学技術大学院大学情報科学研究科
Publication Date: 2015-02-17
Publication Date (W3CDTF): 2015-02-17
Periodical title: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
No. or year of volume/issue: IS-RR-2015-001
Volume: IS-RR-2015-001
Pages: 1-71
ISSN (Periodical Title): ISSN : 0918-7553
Text Language Code: eng
Target Audience: 一般
Note (General): 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.
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12871
Format (IMT): application/pdf
Source: https://dspace.jaist.ac.jp/dspace/bitstream/10119/12871/1/IS-RR-2015-001.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/12871/1/IS-RR-2015-001.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ