Mtk's Blog: SQL

ラベル SQL の投稿を表示しています。すべての投稿を表示

2015年1月31日土曜日

カレンダープログラミングプチコンテスト 2014

The calnedar programing petit contest 2014 / Transact-SQL BizBrowser
204年10月、プログラミング生放送勉強会のマスコットキャラクター・プロ生ちゃんがツイッターにこんな投稿をしました。

昨日の話、とりあえず募集してみるよ！よろしくね　「プロ生ちゃん #カレンダープログラミングプチコンテスト 2014」開催！ | プログラミング生放送 http://t.co/UST6xCk1JV
— プロ生ちゃん（暮井慧） (@pronama) 2014, 10月 12

他の人とかぶらない内容で投稿してみました。
ニッチすぎて採用されませんでしたが。

Transact-SQL (SQL Server 2008 R2)

SQLはデータ操作言語(Data Manupilate Language)です。
プログラミング言語に必要な順次(逐次)処理・分岐処理・繰返し処理は出来ません。
なので純粋なSQLではカレンダーを表示するようなコードは書けません。
SQL ServerのTransact-SQLやOracleのPL/SQLはそれぞれメーカーが独自に開発したSQLライクなプログラミング言語です。
PL/SQLは開発環境をすぐに用意できなかったのと既に他の方が投稿されていたので、Transact-SQLで作ってみました。
テーブルやストアドは使わないので実行に特別な権限は不要だと思います。

Biz/Browser用

Axis SoftのBiz/Browserがどんなところで使われているか把握してませんが誰も応募してないので作ってみました。
JavaScriptがベースなので簡単でした。

2014年6月14日土曜日

[Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

How to validate the DateTime format
Javaには文字列が日付に適合するかを調べるDateFormatクラスがあります。
DateFormatクラスで日付に適合した文字列がSQL ServerのDateTime型に適合できないことがありました。

そこでJavaでSQL ServerのDateTime型の適合するかチェックする機能を作ってみました。

SQL ServerのDateTime型の仕様

・年月日のセパレーターはハイフン(-)
・時分秒のセパレーターはコロン(:)
・年は1753から9999まで
・最小単位は1ミリ秒

年月日のセパレーターはハイフンの他、スラッシュ (/)やピリオド (.) も可能ですが今回はハイフンのみ可とします。
また、扱える最大値は9999-12-31 23:59:59.997でこれを1ミリ秒でも超えると扱えませんが今回は無視します。
他にもSQL ServerのDateTimeに適合するケースは沢山ありますが今回は次の書式を可とします。

YYYY-MM-DD hh:mm:ss.n*
・YYYYは1753～9999の年を表す
・MMは01～12の月を表す
・DDは01～31の日を表す
・hhは00～23の時を表す
・mmは00～59の分を表す
・ssは00～59の秒を表す
・n*は0～999のミリ秒を表す(省略可)

サンプル

package jp.fujiu.DateTimeMatching;

import java.util.regex.Matcher;
import java.util.regex.Pattern;

public class TestDateTimeMatching {
 //日付パターンマッチ用の正規表現 YYYY-MM-DD hh:mm:ss(.n*)
 private static final String DATE_PATTERN
 = "^[0-9]{4}-[0-9]{1,2}-[0-9]{1,2}[ ]{1,}[0-9]{1,2}:[0-9]{1,2}:[0-9]{1,2}[.]{0,1}[0-9]{0,3}$";
 private static Pattern dateFormatPattern = Pattern.compile(DATE_PATTERN);
 
 //テスト用文字列
 private static final String[] TEST_VALUES ={
  "1753-1-1 0:0:0", //OK
  "1753-01-01 00:00:00", //OK
  "1753-01-01 00:00:00.", //OK
  "1753-01-01 00:00:00.000", //OK
  "1753-02-28 00:00:00.000", //OK
  "2000-02-29 00:00:00.000", //OK
  "9999-12-31 23:59:59", //OK
  "9999-12-31 23:59:59.", //OK
  "9999-12-31 23:59:59.997", //OK
  "9999-12-31     23:59:59.997", //OK
  
  "1753/1/1 0:0:0", //NG
  "1753.1.1 0:0:0", //NG
  "175311 000", //NG
  "-- ::.", //NG
  "1752-1-1 00:00:00", //NG
  "1753-02-29 00:00:00.000", //NG
  "2000-02-30 00:00:00.000", //NG
  "10000-1-1 00:00:00", //NG
  "2014-0-1 00:00:00", //NG
  "2014-13-1 00:00:00", //NG
  "2014-1-0 00:00:00", //NG
  "2014-1-32 00:00:00", //NG
  "2014-2-29 00:00:00", //NG
  "2014-3-32 00:00:00", //NG
  "2014-4-31 00:00:00", //NG
  "2014-5-32 00:00:00", //NG
  "2014-6-31 00:00:00", //NG
  "2014-7-32 00:00:00", //NG
  "2014-8-32 00:00:00", //NG
  "2014-9-31 00:00:00", //NG
  "2014-10-32 00:00:00", //NG
  "2014-11-31 00:00:00", //NG
  "2014-12-32 00:00:00", //NG
  "2014-6-3 000:00:00.000", //NG
  "2014-6-3 24:00:00.000", //NG
  "2014-6-3 00:000:00.000", //NG
  "2014-6-3 00:60:00.000", //NG
  "2014-6-3 00:00:000.000", //NG
  "2014-6-3 00:00:60.000", //NG
  "2014-6-3 00:00:00.0000", //NG
 };

 public static void main(String[] args) {
  for (String value : TEST_VALUES){
   if (isDateTimeFormat(value)){
    System.out.println(value + " is matched" );
   } else {
    System.out.println("! " + value + " is not matched" );
   }
  }
 }
 
 //書式が日付に適合するかチェック YYYY-MM-DD hh:mm:ss
 static boolean isDateTimeFormat(String source) {
  Matcher matcher = dateFormatPattern.matcher(source);
  if (matcher.find()) {
   String ymd[] = source.split("-");

   //年のチェック
   int y = Integer.parseInt(ymd[0]);
   if (y < 1753) {
    return false;
   }

   //月のチェック
   int m = Integer.parseInt(ymd[1]);
   if (m < 1 || m > 12) {
    return false;
   }

   //日のチェック
   int spacePotision = ymd[2].indexOf(" ");
   int d = Integer.parseInt(ymd[2].substring(0, spacePotision));
   if (d < 1) {
    return false;
   } else {
    if (m == 1 || m == 3 || m == 5 || m == 7 || m == 8 || m == 10 || m == 12) {
     if (d > 31) {
      return false;
     }
    } else if (m == 2) {
     if ((y % 4 == 0) && (y % 100 != 0) || (y % 400 == 0)) {
      if (d > 29) {
       return false;
      }
     } else {
      if (d > 28) {
       return false;
      }
     }
    } else if (m == 4 || m == 6 || m == 9 || m == 11) {
     if (d > 30) {
      return false;
     }
    }
   }

   //時分秒
   String[] hms = source.split(":");
   spacePotision = hms[0].indexOf(" ");
   int hh = Integer.parseInt(hms[0].substring(spacePotision + 1, hms[0].length()).trim());
   if (hh > 23) {
    return false;
   }

   int mi = Integer.parseInt(hms[1]);
   if (mi > 59) {
    return false;
   }

   int ss;
   int dotPosition = hms[2].indexOf(".");
   if (dotPosition == -1) {
    ss = Integer.parseInt(hms[2]);
   } else {
    ss = Integer.parseInt(hms[2].substring(0, dotPosition));
   }
   if (ss > 59) {
    return false;
   }
  } else {
   return false;
  }
  return true;
 }
}

なんだか汚いコードになってしまいました。

isDateTimeFormat(String source) メソッドの内容が日付型の適合をチェックする部分です。
staticなmainメソッドから呼ばれるため、isDateTimeFormatメソッドもstaticにしてます。非staticメソッドから呼び出す場合はstaticにする必要はありません。
日付として適合ならtrue、不適合ならfalseを返します。
はじめにパターンマッチで書式をチェックします。
書式がOKだったら各要素が日付として正しいかチェックします。

2011年3月5日土曜日

[Android] SQLiteDatabase created and never closed

How to slove the problem "SQLiteDatabase created and never closed"

SQLiteを使ったアプリを作っていたら、ごく稀にタイトルに書いたエラーがログに出力されていることに気がつきました。
ただし、同じ操作をしても再現できません。
ソースをよく見たらCursorのインスタンスをclose()し忘れている箇所が何カ所かありました。
おそらくclose()忘れが原因です。
Cursorが不要になったら直ちにclose()するようにしました。

以下のソースはint型の値をSQLiteに読み書きするキー・バリュー方式(?)のクラスです。
このクラスは汎用性が高いのでMtkはアプリケーションの設定情報を保存するためにを使い回してます。
キャッシュが肥大化しないようにVACUUMもします。

package jp.fujiu.AndroidApp.SqliteSample;

import android.content.ContentValues;
import android.content.Context;
import android.database.Cursor;
import android.database.SQLException;
import android.database.sqlite.SQLiteDatabase;
import android.database.sqlite.SQLiteOpenHelper;
import android.os.AsyncTask;

public class SqliteSample extends SQLiteOpenHelper {
 private static final int VERSION = 1;
 private static final String FILE_NAME = "data.sqlite";
 private static final String INT_TABLE = "INT_TABLE";
 private static final String CREATE_INT_TABLE 
  = "CREATE TABLE " + INT_TABLE + "(" 
  + "_id INTEGER PRIMARY KEY AUTOINCREMENT, "
  + "KEY TEXT NOT NULL UNIQUE, "
  + "VALUE INTEGER NOT NULL"
  + ");";
 private static final String KEY = "KEY";
 private static final String VALUE = "VALUE";
 
 private boolean isModefied = false;

 public SqliteSample(Context context) {
  super(context, FILE_NAME, null, VERSION);
 }

 @Override
 public void onCreate(SQLiteDatabase db) {
  db.beginTransaction();
  try {
   db.execSQL(CREATE_INT_TABLE);
   db.setTransactionSuccessful();
  } finally {
   db.endTransaction();
  }
 }
 
 public Integer getInteger(String key){
  Integer value = null;
  
  String[] columns = {VALUE};
  String selection = "KEY='" + key + "'";

  SQLiteDatabase db = getReadableDatabase();
  Cursor c = db.query(INT_TABLE, columns, selection, null, null, null, null);
  c.moveToFirst();
  if (c.getCount()!=0){
   value = new Integer(c.getInt(0));
  }
  /* Cursorを忘れずにclose() */
  c.close();
  
  return value;
 }
 
 
 public synchronized void setInt(String key, int value){
  SQLiteDatabase db = getWritableDatabase();
  db.beginTransaction();
  try {
   ContentValues values = new ContentValues();
   values.put(KEY, key);
   values.put(VALUE, value);
   String[] whereArgs = {key};
   int affected = db.update(INT_TABLE, values, "KEY=?", whereArgs);

   //UPDATEされてなければINSERT
   if (affected==0){
    db.insert(INT_TABLE, null, values);
   }
   db.setTransactionSuccessful();
   
   isModefied = true;
  } finally {
   db.endTransaction();
  }
 }

 @Override
 public void close() {
  if (isModefied){
   //テーブルの変更があったらVACUUM処理を非同期で実行
   AsyncTask<Object, Object, Object> task = new AsyncTask<Object, Object, Object>(){
    @Override
    synchronized protected Object doInBackground(Object... params) {
     SQLiteDatabase db = getWritableDatabase();
     try {
      db.execSQL("VACUUM " + INT_TABLE);
      
      /* REINDEXが必要ならここで実行してください */
      //TODO
      //db.execSQL("REINDEX " + INT_TABLE);
     } catch (SQLException e) {
      e.printStackTrace();
     }
     return null;
    }

    @Override
    protected void onPostExecute(Object result) {
     super.onPostExecute(result);
     //非同期処理が終了したら
     //SQLiteOpenHelperを忘れずにclose()
     SqliteSample.super.close();
    }
   };
   task.execute((Object)null);
  } else {
   //テーブルの変更がなければ
   //SQLiteOpenHelperを直ちにclose()
   SqliteSample.super.close();
  }
 }

 @Override
 public void onUpgrade(SQLiteDatabase db, int oldVersion, int newVersion) {
 }
}

上記のソースのc.close()をわざと消して試してみましたが、エラーが起こらないことが多いです。
再現性がないので自動でがclose()してくれてるケースがあるのかもしれません。

SqliteSampleの使い方
１．int型データの保存方法
setIntメソッドで保存します。第１引数はキーとなる文字列、第2引数は保存する値です。
キーが既に保存されていれば値を上書きし、保存されていなければ新規に登録します。

SqliteSample sql = new SqliteSample(getApplicationContext());
sql.setInt("value1", 1);
sql.setInt("value2", 2);
sql.setInt("value3", 3);
････
sql.close();

２．int型データの取り出し方法
getIntメソッドで値を取り出します。キーに対応する値がなければgetIntの第2引数の値が返されます。

SqliteSample sql = new SqliteSample(getApplicationContext());
Integer value1 = sql.getInteger("value1");
if (value1!=null){
 //データありの処理
} else {
 //データなしの処理
}
Integer value2 = sql.getInteger("value2");
if (value2!=null){
 //データありの処理
} else {
 //データなしの処理
}
Integer value3 = sql.getInteger("value3");
if (value3!=null){
 //データありの処理
} else {
 //データなしの処理
}
････
sql.close();

以上、参考になれば幸いです。

現在公開中
「お天気ロイド」
「Eye元気！」
「Wi-Fi sync screen」
いずれもキャッシュを肥大化させないためにVACUUMしています

登録: 投稿 (Atom)

Mtk's Blog

新アプリケーション

2015年1月31日土曜日

カレンダープログラミングプチコンテスト 2014

Transact-SQL (SQL Server 2008 R2)

Biz/Browser用

関連ブログ

2014年6月14日土曜日

[Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

SQL ServerのDateTime型の仕様

サンプル

関連ブログ

2011年3月5日土曜日

[Android] SQLiteDatabase created and never closed

新アプリケーション

2015年1月31日土曜日

カレンダープログラミング プチコンテスト 2014

Transact-SQL (SQL Server 2008 R2)

Biz/Browser用

関連ブログ

2014年6月14日土曜日

[Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

SQL ServerのDateTime型の仕様

サンプル

関連ブログ

2011年3月5日土曜日

[Android] SQLiteDatabase created and never closed

カレンダープログラミングプチコンテスト 2014