User Tools
This is an old revision of the document!
====== Schema ====== ''**public class Schema**'' \\ ''**implements Serializable**'' Schema describes an SQL schema determined with s set of relations over which attributes finite domain and foreign key constraints can be defined. {{ :magik-demo:developer:class:core:schema_and_relations.png?nolink&950 |}} ===== Class Attributes ===== <code java> private long id; private boolean localSchema; private java.lang.String name; private java.util.ArrayList<Relation> relations; private java.util.ArrayList<ForeignKey> foreignKeys; private java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints; private java.util.ArrayList<Query> conjuctiveQueries; private java.util.ArrayList<TCStatement> tcStatements; private java.lang.String dbUrl; private java.lang.String dbUser; private java.lang.String dbPassword; </code> ===== Class Constructor ===== ==== Schema ==== <code java> public Schema () </code> Default constructor ---- ==== Schema ==== <code java> public Schema (java.lang.String name, java.util.ArrayList<Relation> relations, java.util.ArrayList<ForeignKey> foreignKeys, java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints, java.util.ArrayList<Query> conjuctiveQueries, java.util.ArrayList<TCStatement> tcStatements) </code> Constructor for creating a a database schema.\\ //Called by:// * it.unibz.inf.magik.test.TestQueryClass * it.unibz.inf.magik.test.TestQueryToSQL * it.unibz.inf.magik.test.TestFK * it.unibz.inf.magik.test.TestFK2 * it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample * it.unibz.inf.magik.test.TestTCQCReasonerPlainCompanyEx * it.unibz.inf.magik.test.TestQueryGeneralization * it.unibz.inf.magik.test.TestTCQCReasonerFKandFD * it.unibz.inf.magik.test.TestTCQCReasonerTCSuggestions * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC * it.unibz.inf.magik.test.TestQueryGeneralization * it.unibz.inf.magik.test.TestTCQCReasonerPlainSchoolEx * it.unibz.inf.magik.test.TestDatabaseConnectorClass **Parameters:** * relation - list of relation that are in the schema * foreignKeys - list of foreign keys related to the relations inside the schema * finiteDomainConstraints - list of finite domain constraints defined for the schema * conjuctiveQueries - list of the queries defined for the schema * tcStatements - list of table completeness statements defined for the schema ---- ==== Schema ==== <code java> public Schema (java.lang.String name, java.util.ArrayList<Relation> relations, java.util.ArrayList<ForeignKey> foreignKeys, java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints) </code> Constructor for creating a database schema with only relations, foreign keys and finite domain constraints defined.\\ //Called by:// * it.unibz.inf.magik.test.TestHardCaseFDCandFK * it.unibz.inf.magik.test.TestSimpleComparison * it.unibz.inf.magik.test.TestValQueryProblem * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC * it.unibz.inf.magik.test.TestPrimaryKeyViolation **Parameters:** * relation - list of relation that are in the schema * foreignKeys - list of foreign keys related to the relations inside the schema * finiteDomainConstraints - list of finite domain constraints defined for the schema ---- ==== Schema ==== <code java> public Schema (java.lang.String name, boolean localschema, java.util.ArrayList<Relation> relations, java.util.ArrayList<ForeignKey> foreignKeys, java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints, java.util.ArrayList<Query> conjuctiveQueries, java.util.ArrayList<TCStatement> tcStatements) </code> Constructor that instantiates all the parts of the schema //Called by:// * it.unibz.inf.magik.web.SessionControl * it.unibz.inf.magik.web.SessionSchema **Parameters:** * name - name of the schema * localschema - //true// if the schema is local, //false// otherwise * relation - list of relation that are in the schema * foreignKeys - list of foreign keys related to the relations inside the schema * finiteDomainConstraints - list of finite domain constraints defined for the schema * conjunctiveQueries - list of the query defined for the schema * tcStatements - list of the table completeness statements for the schema ===== Class Methods ===== ==== findRelationByName ==== <code java> public Relation findRelationByName (java.lang.String relName) </code> Given a relation name, if exists, it will answer with the relation structure. **Parameters:** * relName - relation name **Returns:** * Relation structure if exists, //null// otherwise ---- ==== getters and setters methods ==== <code java> public java.util.ArrayList<ForeignKey> getForeignKeys() public void setForeignKeys(java.util.ArrayList<ForeignKey> foreignKeys) public java.util.ArrayList<Query> getConjuctiveQueries() public void setConjuctiveQueries(java.util.ArrayList<Query> conjuctiveQueries) public java.util.ArrayList<TCStatement> getTcStatements() public void setTcStatements(java.util.ArrayList<TCStatement> tcStatements) public java.lang.String getName() public void setName(java.lang.String name) public java.util.ArrayList<Relation> getRelations() public void setRelations(java.util.ArrayList<Relation> relations) public java.util.ArrayList<FiniteDomainConstraint> getFiniteDomainConstraints() public void setFiniteDomainConstraints(java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints) public boolean isLocalSchema() public void setLocalSchema(boolean localSchema) public java.lang.String getDbUrl() public void setDbUrl(java.lang.String dbUrl) public java.lang.String getDbUser() public void setDbUser(java.lang.String dbUser) public java.lang.String getDbPassword() public void setDbPassword(java.lang.String dbPassword) public long getId() public void setId(long id) </code> [[magik-demo:developer:class:core:schema|Back to Top]] | [[magik-demo:start|Back to Home Page]]
