Content:
WebContent
.it.unibz.inf.magik.beans
.it.unibz.inf.magik.web
.it.unibz.inf.magik.core
, it.unibz.inf.magik.additional
.it.unibz.inf.magik.db
.it.unibz.inf.magik.hibernate
.it.unibz.inf.magik.exception
.it.unibz.inf.magik.test
.Each JavaBeans class corresponds with the HTML form in the JavaServlet Pages.
ShowSchemaBean
</fc>, to get the selected schema to be processed (schema/index.jsp
)EditSchemaBean
</fc>, to get the schema name (schema/edit.jsp
)EditRelationBean
</fc>, to get the attributes of relation (schema/editRelation.jsp
)EditConnectionBean
</fc>, to get the information of database connection details (schema/editConnection.jsp
)ShowContraintsBean
</fc>, to get the selected constraints and query to be processed (constraints/index.jsp
)EditForeignKeyBean
</fc>, to get the attributes of foreign key (constraints/editFK.jsp
)EditFiniteDomainBean
</fc>, to get the attributes of finite domain constraint (constraints/editFDC.jsp
)EditTCStatementBean
</fc>, to get the attributes of TC statement (constraints/editTC.jsp
)EditQueryBean
</fc>, to get the attributes of query (constraints/editQuery.jsp
)SessionControl
→ Class for controlling the active session of the application, including process users input, run the reasoner (DLV engine), read/write to/from data layer (database), and return an output to users.hibernateSaveObject
encodingProgram
, printQueryResultHTML
, isQueryComplete
, approximateQuery
importSampleSchema
SessionSchema
extends Schema
, with the information of selected foreign keys, finite domain constraints, and table completeness statements in the active session, also the information of database connection details (only for remote schema).Term
→ Class for term (variable or constant) Atom
→ Class for atom (array of terms) Query
→ Class for query that can be logically seen as a conjunction of relations.TC-Statement
→ Class for table completeness statement as it is defined by Razniewski&Nutt(VLDB2011).Schema
→ Class for SQL schema with a set of relations, over which over finite domain and foreign key constraints can be defined.Relation
→ Class for SQL relation defined with name, arity, and primary key definition.Foreign Key
→ Class for foreign key dependency between two relations from the common schema (sourceRelation[sourceAttr] → targetRelation[targetKey]).Finite Domain Constraints
→ Class for finite domain constraint defined over a single attribute in a relation.QueryGeneralization
→ Class for generating (if exists) the least specific specialization query of the given query. How it works QuerySpecialization
→ Class for generating (if exists) the most specific generalization query(ies) of the given query.ProgramGenerator
→ Class for translating the schema, constraints and query into DLV formatConjunctiveQuery
</fc> → Class for traslating query into a conjunctive query.TCSuggestions
</fc> → Class for suggested table completeness statements over a query so that the query will be complete.AuxiliaryFunctions
</fc> → Class for auxiliary functions used by some java classes.CycleDetector
</fc> → Class for detecting cycle inside foreign keys.DLV_Engine
</fc> → Class for setting and running the DLV library.Preprocessor
</fc> → Class for preprocessing the query in order to find (possibly) error or violationsQueryMinimizer
DatabaseConnector
→ Class for database connection. Database connection is established with PostgreSQL JDBC Driver, a Java library that allows Java programs to connect to a PostgreSQL database.getSchemaType
, getSchemas
, getDbSchemas
, getSchema
, readRelation
, readForeignKeys
getDbUrl
, getDbUser
, getDbPassword
, addDbConnection
evaluateQuery
validateUser
, addUser
installation
HibernateConnector
</fc> → Class for Hibernate connection.MagikNamingStrategy
</fc> → Class for custom naming strategy for table name in the database (in the format of <username_schemaName_tableName>
), with provided username
and schemaName
, which is used to store objects.FiniteDomainConstraint.hbm.xml
→ configuration file for storing finite domain constraintsForeignKey.hbm.xml
→ configuration file for storing foreign keysQuery.hbm.xml
→ configuration file for storing queriesTCStatement.hbm.xml
→ configuration file for storing table completeness statementshibernate.cfg.xml
→ configuration file for Hibernate connectionContextException
</fc> → Class for exception handler for adding/updating relation, foreign key, finite domain constraint, and table completeness statement. ParseSQLQueryException
</fc> → Class for exception handler for SQL query parsing.CycleException
</fc> → Class for exception handler for cycle detection.PrimaryKeyViolationException
</fc> → Class for exception handler for primary key violation detection.AllTests
</fc>CycleDetectionTest
</fc>TestAtomClass
</fc>TestDatabaseConnectorClass
</fc>TestFK
</fc>TestFK2
</fc>TestHardCaseFDCandFK
</fc>TestPreprocessor
</fc>TestPrimaryViolation
</fc>TestQueryClass
</fc>TestQueryGeneralization
</fc>TestQueryToSQL
</fc>TestSimpleComparison
</fc>TestTCQCReasonerBlackWhiteExample
</fc>TestTCQCReasonerFKandFD
</fc>TestTCQCReasonerPlainCompanyEx
</fc>TestTCQCReasonerPlainSchoolEx
</fc>TestTCQCReasonerTCSuggestions
</fc>TestTCQCReasonerUnderFDC
</fc>TestTermClass
</fc>TestValQueryProblem.
</fc>UnificationTest
</fc>