Lang-SQL: A Query Language for Language Analysis

Author: Matteo Cimini (matteo_cimini@uml.edu)

Instructions

Requirements:

• To compile and run: Ocaml with the Batteries packages is required.

Quick usage:

• make
• ./lnsql [folder-name]

What it does:

• loads the file "queries.lnsql" of the folder [folder-name], which contains (possibly multiple) Lang-SQL queries.
• loads all the language definitions .lan of the folder "languages" of [folder-name].
• for each .lan file, say, myfile.lan,
  - all the queries of "queries.lnsql" are applied to the language,
  - the output tables are written in myfile.tbl of the folder "answers" of [folder-name].

To clean:

• make clean
  (removes compilation files and executable)

Folders to test:

• ./lnsql Example_queries
  Examples of Lang-SQL queries.
  See the "Example_queries" folder for details.
• ./lnsql Lang-n-Check
  Reimplementation of a part of Lang-n-Check in Lang-SQL.
  See the "Lang-n-Check" folder for details.
• ./lnsql Language_Tests
  Examples of language tests in Lang-SQL.
  See the "Language_Tests" folder for details.
• ./lnsql GSOS-Format
  A validator for the GSOS rule format in Lang-SQL.
  See the "GSOS-Format" folder for details.