Front Page Applet ATSQL UC TUC SEQ NSEQ System Guidelines Requirements Docu Support Information Contribution Warranty Related Work Contact Future Work | Tiger is based on the architecture of ChronoLog a temporal deductive database system developed in the Knowledge Based Systems Group at ETH Zürich. ChronoLog supports ChronoLog, a temporal extension of first order predicate logic, and ChronoSQL, a temporal extension of SQL. TimeDB is a temporal DB system that implements selected aspects of SQL/Temporal, a temporal extension of SQL-92 proposed to the SQL3 standardization bodies for incorporation into the SQL3 standard. More information can be found in a SIGMOD Record article [ps, pdf].