The resulting query will appear here.
PATSQL automatically synthesizes SQL queries (in particular, SELECT statements) from input-output
tables.
Each time you update the tables, the synthesis result is automatically updated.
(The synthesis may result in a time-out if the system could not find an appropriate query.)
Please feel free to edit the following tables and see resultant queries. You can also use example tables:
PATSQL
は、与えられた入出力テーブルの例から SQL クエリ(SELECT文)を自動生成する技術です。
テーブルの内容が更新される度に、INPUT として指定されたテーブル群から OUTPUT テーブルを取り出す SQLクエリが自動的に生成されます。
(適切なSQLクエリが見つからない場合は一定時間でを処理を中止します)
以下のテーブルを自由に編集して、どのようなクエリが得られるかを試してみてください。また、いくつかの入出力テーブルの例も用意しています:
The resulting query will appear here.