tXSchema is implemented as a set of closely-related tools. This document describes there usage and parameter meanings; for more in-depth information, see also the Tutorials page.
Squash
Squash takes multiple XML snapshots that are valid in consecutive periods of time and generates a single temporal XML document that contains all the content and temporal information of those snapshots. Note that even if all snapshots are individually valid, which should be checked separately, it is still necessary to run the TemporalValidator on the resulting temporal XML document to check the temporal constraints that the snapshots may have violated.
Usage:
squash [-o outputFile] [-s schemaVersFlag] [-d debugLevel] config_file
Parameters:
- config-file
An XML file that describes the parameters to Squash. Parameters include the name of the logical annotation file, the name of the physical annotation file and the file names of the snapshots and their valid periods. See the test-cases for example config-files.
SchemaMapper
SchemaMapper create a representational schema according to the given non-temporal schema and the physical annotation.
NOTE: This tool cannot currently be invoked from the command line.
Usage:
java SchemaMapper [non-temporal-schema] [physical-annotation-file]
Parameters:
- non-temporal-schema
Non-temporal schema for the snapshots from which the temporal XML document is generated. If this argument is missing, the location of the non-temporal schema must be contained in the annotation file. - physical-annotation-file
The physical annotation file describes the elements and the attributes that can have timestamps. If this argument is missing SchemaMapper generates a representational schema for temporal XML document with time-varying root.
tXMLLint
tXMLint validates a temporal XML document according the given non-temporal schema, logical and physical annotations. It also checks the validity of the logical and physical annotations.
Usage:
txmllint [-s schemaVersFlag] [-d debugLevel] config_file temporal_document
Parameters:
- config-file
An XML file that describes the parameters to Squash. Parameters include the name of the logical annotation file, the name of the physical annotation file and the file names of the snapshots and their valid periods. - temporal-document
Temporal XML document to be validated.
Unsquash
Unsquash reads a temporal XML document that contains data of a long period, extracts the valid data in each sub-period in which the data doesn't change, and generates the corresponding snapshot documents. The snapshot documents have file names like "snapshot0.xml", "snapshot1.xml", etc. Unsquash depends on τDOM to extract data. Go to the τDOM website to get it.
Usage:
unsquash [-o outFile] [-d debugLevel] config_file temporal_document
Parameters:
- config-file
An XML file that describes the parameters to Squash. Parameters include the name of the logical annotation file, the name of the physical annotation file and the file names of the snapshots and their valid periods. - temporal-document
Temporal document that was produced by Squash.
