edu.isi.powerloom.rdbms
Class RDBMS

java.lang.Object
  edu.isi.powerloom.rdbms.RDBMS

public class RDBMS
extends java.lang.Object

Field Summary

static Keyword	KWD__g
static Keyword	KWD_ALL
static Keyword	KWD_ASSERT
static Keyword	KWD_ASSERT_FALSE
static Keyword	KWD_ASSERT_TRUE
static Keyword	KWD_ASSERTION
static Keyword	KWD_AXIOMS
static Keyword	KWD_CLIP
static Keyword	KWD_CLOSED
static Keyword	KWD_CONCEIVE
static Keyword	KWD_CONFIGURATION
static Keyword	KWD_CONNECTION_STRING
static Keyword	KWD_CONTINUING_SUCCESS
static Keyword	KWD_DB
static Keyword	KWD_DB_NAME
static Keyword	KWD_DOCUMENTATION
static Keyword	KWD_DONT_OPTIMIZEp
static Keyword	KWD_DSN
static Keyword	KWD_EQUIVALENT
static Keyword	KWD_ERROR
static Keyword	KWD_EXTERNAL_DB_UPDATE
static Keyword	KWD_FAILURE
static Keyword	KWD_FINAL_SUCCESS
static Keyword	KWD_GOES_TRUE_DEMON
static Keyword	KWD_GOES_UNKNOWN_DEMON
static Keyword	KWD_HOST
static Keyword	KWD_HOW_MANY
static Keyword	KWD_INFERENCE_LEVEL
static Keyword	KWD_ISA
static Keyword	KWD_JDBC_CONNECTION_STRING
static Keyword	KWD_MODULE
static Keyword	KWD_MODULE_NAME
static Keyword	KWD_MODULE_REFERENCE
static Keyword	KWD_MYSQL
static Keyword	KWD_NAME
static Keyword	KWD_NONE
static Keyword	KWD_ODBC_CONNECTION_STRING
static Keyword	KWD_PASSWORD
static Keyword	KWD_PORT
static Keyword	KWD_PREDICATE
static Keyword	KWD_PRESUME_FALSE
static Keyword	KWD_PRESUME_TRUE
static Keyword	KWD_PROTOCOL
static Keyword	KWD_RETRACT
static Keyword	KWD_RETRACT_FALSE
static Keyword	KWD_RETRACT_TRUE
static Keyword	KWD_SERVER_TYPE
static Keyword	KWD_SET
static Keyword	KWD_STRING_CONSTANT
static Keyword	KWD_TYPE
static Keyword	KWD_UNKNOWN
static Keyword	KWD_USER
static Keyword	KWD_VALUE
static Keyword	KWD_VARIABLE
static Keyword	KWD_WHITE_SPACE
static Surrogate	SGT_LOGIC_LOGIC_OBJECT
static Surrogate	SGT_LOGIC_NAMED_DESCRIPTION
static Surrogate	SGT_LOGIC_QUERY_ITERATOR
static Surrogate	SGT_RDBMS_CONNECTION_STRING
static Surrogate	SGT_RDBMS_CONNECTION_WRAPPER
static Surrogate	SGT_RDBMS_DATABASE
static Surrogate	SGT_RDBMS_DB_CONNECTION
static Surrogate	SGT_RDBMS_DB_NAME
static Surrogate	SGT_RDBMS_DSN
static Surrogate	SGT_RDBMS_F_ALLOCATE_DBTABLE_SPECIALIST_ITERATOR_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_F_FETCH_EDB_QUERY_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_F_GET_RELATION_TABLE_INFO_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_F_SQL_JOIN_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_F_SQL_QUERY_MEMO_TABLE_000
static Surrogate	SGT_RDBMS_HOST
static Surrogate	SGT_RDBMS_JDBC_CONNECTION_STRING
static Surrogate	SGT_RDBMS_PASSWORD
static Surrogate	SGT_RDBMS_PORT
static Surrogate	SGT_RDBMS_PROTOCOL
static Surrogate	SGT_RDBMS_RELATION_COLUMN_INFO
static Surrogate	SGT_RDBMS_RELATION_DATABASE
static Surrogate	SGT_RDBMS_RELATION_TABLE
static Surrogate	SGT_RDBMS_RELATION_TABLE_INFO
static Surrogate	SGT_RDBMS_SERVER_TYPE
static Surrogate	SGT_RDBMS_SUBTASK_ID
static Surrogate	SGT_RDBMS_TASK_ID
static Surrogate	SGT_RDBMS_USER
static Surrogate	SGT_STELLA_BOOLEAN
static Surrogate	SGT_STELLA_CONFIGURATION_TABLE
static Surrogate	SGT_STELLA_CONS
static Surrogate	SGT_STELLA_FALSE
static Surrogate	SGT_STELLA_INTEGER
static Surrogate	SGT_STELLA_MODULE
static Surrogate	SGT_STELLA_NUMBER
static Surrogate	SGT_STELLA_STRING
static Surrogate	SGT_STELLA_STRING_WRAPPER
static Surrogate	SGT_STELLA_THING
static Surrogate	SGT_STELLA_TRUE
static Surrogate	SGT_STELLA_XML_ELEMENT
static Symbol	SYM_LOGIC_pX
static Symbol	SYM_PL_KERNEL_KB_RELATION_SPECIALIST
static Symbol	SYM_RDBMS_ADJUNCT
static Symbol	SYM_RDBMS_COERCION_FUNCTION
static Symbol	SYM_RDBMS_COLUMN_DB_TYPE
static Symbol	SYM_RDBMS_COLUMN_INDEX
static Symbol	SYM_RDBMS_COLUMN_LIST
static Symbol	SYM_RDBMS_COLUMN_NAME
static Symbol	SYM_RDBMS_COLUMN_TYPE
static Symbol	SYM_RDBMS_COLUMN_VARIABLE
static Symbol	SYM_RDBMS_COLUMN_VECTOR
static Symbol	SYM_RDBMS_CONNECTION_STRING
static Symbol	SYM_RDBMS_DATABASE
static Symbol	SYM_RDBMS_DB_CONNECTION
static Symbol	SYM_RDBMS_DB_NAME
static Symbol	SYM_RDBMS_DB_UPDATE_DEMON
static Symbol	SYM_RDBMS_DBMS_NAME
static Symbol	SYM_RDBMS_DBTABLE_SPECIALIST
static Symbol	SYM_RDBMS_DEFDB
static Symbol	SYM_RDBMS_DEFQUERY
static Symbol	SYM_RDBMS_DEFTABLE
static Symbol	SYM_RDBMS_DEFUNTABLE
static Symbol	SYM_RDBMS_DSN
static Symbol	SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_000
static Symbol	SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_001
static Symbol	SYM_RDBMS_FETCH_EDB_DATABASE
static Symbol	SYM_RDBMS_FETCH_QUERY
static Symbol	SYM_RDBMS_FETCH_QUERY_TYPE_1
static Symbol	SYM_RDBMS_FETCH_QUERY_TYPE_2
static Symbol	SYM_RDBMS_HOST
static Symbol	SYM_RDBMS_INSTANCE_OF
static Symbol	SYM_RDBMS_JDBC_CONNECTION_STRING
static Symbol	SYM_RDBMS_MODULE_LOCALp
static Symbol	SYM_RDBMS_MODULE_REFERENCE
static Symbol	SYM_RDBMS_MODULE_REFERENCE_COLUMN
static Symbol	SYM_RDBMS_ODBC_CONNECTION_STRING
static Symbol	SYM_RDBMS_pARGS
static Symbol	SYM_RDBMS_PASSWORD
static Symbol	SYM_RDBMS_pDB
static Symbol	SYM_RDBMS_pDB_TYPE
static Symbol	SYM_RDBMS_pEV
static Symbol	SYM_RDBMS_PORT
static Symbol	SYM_RDBMS_pREL
static Symbol	SYM_RDBMS_PROTOCOL
static Symbol	SYM_RDBMS_QUERY_EVALUATOR
static Symbol	SYM_RDBMS_QUERY_PARAMETER_NAME
static Symbol	SYM_RDBMS_QUERY_PATTERN
static Symbol	SYM_RDBMS_QUERY_SPECIALIST
static Symbol	SYM_RDBMS_QUERY_TABLE_NAME
static Symbol	SYM_RDBMS_RELATION_COLUMN_MODULE_NAME
static Symbol	SYM_RDBMS_RELATION_COLUMN_MODULE_REFERENCE
static Symbol	SYM_RDBMS_RELATION_COLUMN_NAME
static Symbol	SYM_RDBMS_RELATION_DATABASE
static Symbol	SYM_RDBMS_RELATION_TABLE
static Symbol	SYM_RDBMS_SERVER_TYPE
static Symbol	SYM_RDBMS_SQL_DATABASE
static Symbol	SYM_RDBMS_STARTUP_FETCH_INTERFACE
static Symbol	SYM_RDBMS_STARTUP_ONTOLOGY
static Symbol	SYM_RDBMS_STARTUP_RDBMS
static Symbol	SYM_RDBMS_STARTUP_RDBMS_SYSTEM
static Symbol	SYM_RDBMS_SUBTASK_ID
static Symbol	SYM_RDBMS_SUPPORTS_DB_TYPE
static Symbol	SYM_RDBMS_TABLE_INFO
static Symbol	SYM_RDBMS_TASK_ID
static Symbol	SYM_RDBMS_USER
static Symbol	SYM_STELLA_AND
static Symbol	SYM_STELLA_EXISTS
static Symbol	SYM_STELLA_ITERATOR
static Symbol	SYM_STELLA_METHOD_STARTUP_CLASSNAME
static Symbol	SYM_STELLA_MODULE
static Symbol	SYM_STELLA_MODULE_NAME
static Symbol	SYM_STELLA_RELATION
static Symbol	SYM_STELLA_TABLE_NAME
static Symbol	SYM_STELLA_TRUE
static Symbol	SYM_STELLA_WRAPPER_VALUE

Constructor Summary

RDBMS()

Method Summary

static Iterator	allocateDbtableSpecialistIterator(ControlFrame frame)
static Iterator	allocateQuerySpecialistIterator(ControlFrame frame)
static Iterator	allocateResultSetIterator(edu.isi.sdbc.Connection connection, LogicObject relation, java.lang.String sqlstatement)
static void	assertRdbmsConnectionInfo(java.lang.String dbInstanceName, Cons options) Assert DB connectivity information about the DB instance dbInstanceName (for example, "edb") according to options.
static void	assertRdbmsConnectionInfoEvaluatorWrapper(Cons arguments)
static Cons	buildOneTableAssertion(NamedDescription tableRelation, Cons tuple, Module dbModule)
static LogicObject	callDefdb(Cons arguments) Callable version of of the defdb command (which see).
static NamedDescription	callDefquery(Cons arguments) Callable version of the defquery command (which see).
static NamedDescription	callDeftable(Cons arguments) Callable version of the deftable command (which see).
static NamedDescription	callDefuntable(Cons arguments) Callable version of the deftable command (which see).
static void	checkForExternalDbUpdates(Proposition proposition, LogicObject database)
static java.lang.String	coercePowerloomObjectToString(Stella_Object renamed_Object, NamedDescription type)
static Stella_Object	coerceStringToPowerloomObject(java.lang.String value, NamedDescription type, Module module, boolean localP)
static Cons	coerceValues(Cons values, RelationTableInfo table)
static Cons	collectionValuedConstraintElements(Stella_Object argument)
static boolean	collectionValuedConstraintP(Stella_Object argument)
static edu.isi.sdbc.Connection	connectToDatabase(LogicObject database)
static RelationTableInfo	createRelationTableInfo(NamedDescription relation)
static java.lang.String	createSqlAssertionFromProposition(Proposition proposition, Keyword mode)
static java.lang.String	createSqlFromProposition(Proposition proposition)
static void	dbRelationGoesFalse(Proposition proposition)
static void	dbRelationGoesTrue(Proposition proposition)
static void	dbRelationGoesUnknown(Proposition proposition)
static void	dbRelationUpdateDemon(Proposition proposition, Keyword updateMode)
static Keyword	dbtableSpecialist(ControlFrame frame, Keyword lastmove)
static void	dbUpdateDemon(Proposition dbproposition)
static LogicObject	defdb(Cons args) Define (or redefine) a database instance.
static LogicObject	defdbEvaluatorWrapper(Cons arguments)
static LogicObject	defquery(Cons args) Define (or redefine) an (external) query and map it to a relation.
static LogicObject	defqueryEvaluatorWrapper(Cons arguments)
static LogicObject	deftable(Cons args) Define (or redefine) a database table and map it to a relation.
static LogicObject	deftableEvaluatorWrapper(Cons arguments)
static LogicObject	defuntable(Cons args) Define (or redefine) a database table and map it to a function The accepted syntax is: (defuntable <relconst> <dbconst> <tablename> (<columndecl>+) [<keyword-option>*]).
static LogicObject	defuntableEvaluatorWrapper(Cons arguments)
static void	disconnectFromDatabase(LogicObject database)
static void	evaluateFetchQuery(KeyValueList keys, java.io.PrintStream out)
static Cons	extractRdbmsOptions(Symbol selfname, Cons options, java.lang.Object[] MV_returnarray)
static Iterator	fetchEdbQuery(Proposition proposition, LogicObject database, Stella_Object arguments)
static Cons	fetchQueryAssertions(java.lang.String host, int port, LogicObject fetchQuery, java.lang.String taskId, java.lang.String subtaskId, java.lang.String database, java.lang.String parameterValue, Module targetModule, Module dbModule) Runs a fetchQuery using taskId; subtaskId,database and specifying a single additional parameterValue.
static Stella_Object	findOrCreateInstance(java.lang.String name, NamedDescription type, Module module, boolean localP) Find an existing instance with name in module or create one with type if it does not yet exist.
static Cons	generateTableAssertions(java.lang.String tableName, Cons xmlAnswer, Module module, Module dbModule) Takes a Stella-parsed, XML-encoded xmlAnswer from Fetch based on the database table tableName and uses it to generate an assertion for an appropriate relation for inclusion in module.
static edu.isi.sdbc.Connection	getConnectionFromDatabase(LogicObject database)
static edu.isi.sdbc.Connection	getConnectionFromPredicate(Surrogate relationref)
static Skolem	getFunctionAndValueTerms(Proposition proposition, java.lang.Object[] MV_returnarray)
static Surrogate	getPropositionBaseRelationRef(Proposition prop)
static Cons	getQueryPatternEvaluators(Surrogate relationref)
static Stella_Object	getQueryPatternMemoizationKey(Proposition proposition)
static RelationTableInfo	getRelationTableInfo(NamedDescription tablerelation)
static int	getTableColumnIndex(NamedDescription tableRelation, java.lang.String columnName, Module module)
static StringWrapper	getTableColumnModuleName(NamedDescription tablerelation, int columnindex)
static StringWrapper	getTableColumnModuleReference(NamedDescription tablerelation, int columnindex)
static StringWrapper	getTableColumnName(NamedDescription tablerelation, int columnindex)
static Cons	getTableColumnNames(NamedDescription tablerelation)
static NamedDescription	getTableRelation(java.lang.String tableName, Module module)
static Iterator	helpMemoizeFetchEdbQuery(Proposition proposition, LogicObject database, Stella_Object arguments)
static Iterator	helpMemoizeSqlJoin(Proposition proposition, LogicObject database, Stella_Object arguments)
static Iterator	helpMemoizeSqlQuery(Proposition proposition, LogicObject database, Stella_Object arguments)
static java.lang.String	lookupStringValue(NamedDescription relation, LogicObject instance, Module mod)
static StringWrapper	normalizeConnectionArgument(Stella_Object arg)
static java.lang.String	normalizeFetchQueryArguments(Proposition proposition, Stella_Object arguments, java.lang.Object[] MV_returnarray)
static int	numberStringToInteger(java.lang.String x)
static Cons	parseColumnSpecs(Stella_Object relconst, Stella_Object columnspecs, java.lang.Object[] MV_returnarray)
static Cons	parseFetchXmlAnswer(Cons xmlanswer, NamedDescription relation, Cons outputcolumns)
static PropertyList	parseOneColumnSpec(Stella_Object columnspec)
static Cons	parseOneFetchXmlObject(Cons renamed_Object, NamedDescription relation, Cons outputcolumns)
static void	printArgumentConstraint(OutputStream sql, Stella_Object argument, RelationColumnInfo column)
static void	printColumnConstraint(OutputStream sql, RelationColumnInfo column, java.lang.String value, boolean casesensitiveP)
static void	printSqlColumnList(OutputStream stream, RelationTableInfo tableInfo)
static void	printSqlConstraintList(OutputStream stream, RelationTableInfo tableInfo, Vector arguments)
static void	printSqlValue(OutputStream stream, Stella_Object value, RelationColumnInfo column)
static Keyword	querySpecialist(ControlFrame frame, Keyword lastmove)
static boolean	resultSetIteratorNextP(AllPurposeIterator self)
static Keyword	retrieveNextDbQuerySolution(ControlFrame frame, Keyword lastmove)
static Stella_Object	runFetchQuery(java.lang.String host, int port, java.lang.String queryId, java.lang.String taskId, java.lang.String subtaskId, java.lang.String database, java.lang.String parameters) Runs a Fetch query specifying the parameters given.
static Iterator	sqlJoin(Proposition proposition, LogicObject database, Stella_Object arguments)
static Iterator	sqlQuery(Proposition proposition, LogicObject database, Stella_Object arguments)
static java.lang.String	sqlQueryInstantiateConstraints(java.lang.String sql, KeyValueList bindings)
static void	startFetchEdbGateway(int port)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SYM_RDBMS_DATABASE

public static Symbol SYM_RDBMS_DATABASE

KWD_DOCUMENTATION

public static Keyword KWD_DOCUMENTATION

SYM_RDBMS_SQL_DATABASE

public static Symbol SYM_RDBMS_SQL_DATABASE

SYM_RDBMS_PROTOCOL

public static Symbol SYM_RDBMS_PROTOCOL

KWD__g

public static Keyword KWD__g

KWD_GOES_TRUE_DEMON

public static Keyword KWD_GOES_TRUE_DEMON

SYM_RDBMS_DB_UPDATE_DEMON

public static Symbol SYM_RDBMS_DB_UPDATE_DEMON

KWD_GOES_UNKNOWN_DEMON

public static Keyword KWD_GOES_UNKNOWN_DEMON

SYM_RDBMS_SERVER_TYPE

public static Symbol SYM_RDBMS_SERVER_TYPE

SYM_RDBMS_DSN

public static Symbol SYM_RDBMS_DSN

SYM_RDBMS_CONNECTION_STRING

public static Symbol SYM_RDBMS_CONNECTION_STRING

SYM_RDBMS_ODBC_CONNECTION_STRING

public static Symbol SYM_RDBMS_ODBC_CONNECTION_STRING

SYM_RDBMS_JDBC_CONNECTION_STRING

public static Symbol SYM_RDBMS_JDBC_CONNECTION_STRING

SYM_RDBMS_HOST

public static Symbol SYM_RDBMS_HOST

SYM_RDBMS_PORT

public static Symbol SYM_RDBMS_PORT

SYM_RDBMS_USER

public static Symbol SYM_RDBMS_USER

SYM_RDBMS_PASSWORD

public static Symbol SYM_RDBMS_PASSWORD

SYM_RDBMS_DB_NAME

public static Symbol SYM_RDBMS_DB_NAME

SYM_RDBMS_DB_CONNECTION

public static Symbol SYM_RDBMS_DB_CONNECTION

KWD_AXIOMS

public static Keyword KWD_AXIOMS

SYM_RDBMS_RELATION_TABLE

public static Symbol SYM_RDBMS_RELATION_TABLE

SYM_RDBMS_RELATION_DATABASE

public static Symbol SYM_RDBMS_RELATION_DATABASE

SYM_RDBMS_RELATION_COLUMN_NAME

public static Symbol SYM_RDBMS_RELATION_COLUMN_NAME

SYM_RDBMS_RELATION_COLUMN_MODULE_NAME

public static Symbol SYM_RDBMS_RELATION_COLUMN_MODULE_NAME

SYM_RDBMS_RELATION_COLUMN_MODULE_REFERENCE

public static Symbol SYM_RDBMS_RELATION_COLUMN_MODULE_REFERENCE

SYM_RDBMS_QUERY_EVALUATOR

public static Symbol SYM_RDBMS_QUERY_EVALUATOR

SYM_RDBMS_SUPPORTS_DB_TYPE

public static Symbol SYM_RDBMS_SUPPORTS_DB_TYPE

KWD_CLOSED

public static Keyword KWD_CLOSED

SYM_STELLA_TRUE

public static Symbol SYM_STELLA_TRUE

SYM_RDBMS_QUERY_PATTERN

public static Symbol SYM_RDBMS_QUERY_PATTERN

SYM_RDBMS_FETCH_EDB_DATABASE

public static Symbol SYM_RDBMS_FETCH_EDB_DATABASE

SYM_RDBMS_TASK_ID

public static Symbol SYM_RDBMS_TASK_ID

SYM_RDBMS_SUBTASK_ID

public static Symbol SYM_RDBMS_SUBTASK_ID

SYM_RDBMS_FETCH_QUERY

public static Symbol SYM_RDBMS_FETCH_QUERY

SYM_RDBMS_FETCH_QUERY_TYPE_1

public static Symbol SYM_RDBMS_FETCH_QUERY_TYPE_1

SYM_RDBMS_FETCH_QUERY_TYPE_2

public static Symbol SYM_RDBMS_FETCH_QUERY_TYPE_2

SYM_RDBMS_QUERY_TABLE_NAME

public static Symbol SYM_RDBMS_QUERY_TABLE_NAME

SYM_RDBMS_QUERY_PARAMETER_NAME

public static Symbol SYM_RDBMS_QUERY_PARAMETER_NAME

SYM_RDBMS_STARTUP_ONTOLOGY

public static Symbol SYM_RDBMS_STARTUP_ONTOLOGY

SYM_STELLA_METHOD_STARTUP_CLASSNAME

public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME

SYM_RDBMS_DEFUNTABLE

public static Symbol SYM_RDBMS_DEFUNTABLE

SYM_PL_KERNEL_KB_RELATION_SPECIALIST

public static Symbol SYM_PL_KERNEL_KB_RELATION_SPECIALIST

SYM_RDBMS_DBTABLE_SPECIALIST

public static Symbol SYM_RDBMS_DBTABLE_SPECIALIST

SYM_RDBMS_DEFTABLE

public static Symbol SYM_RDBMS_DEFTABLE

SGT_STELLA_CONS

public static Surrogate SGT_STELLA_CONS

KWD_ERROR

public static Keyword KWD_ERROR

KWD_NAME

public static Keyword KWD_NAME

KWD_VARIABLE

public static Keyword KWD_VARIABLE

KWD_TYPE

public static Keyword KWD_TYPE

KWD_MODULE_NAME

public static Keyword KWD_MODULE_NAME

KWD_MODULE_REFERENCE

public static Keyword KWD_MODULE_REFERENCE

SYM_RDBMS_DEFDB

public static Symbol SYM_RDBMS_DEFDB

KWD_CONNECTION_STRING

public static Keyword KWD_CONNECTION_STRING

SGT_STELLA_STRING

public static Surrogate SGT_STELLA_STRING

KWD_JDBC_CONNECTION_STRING

public static Keyword KWD_JDBC_CONNECTION_STRING

KWD_ODBC_CONNECTION_STRING

public static Keyword KWD_ODBC_CONNECTION_STRING

KWD_DSN

public static Keyword KWD_DSN

KWD_DB

public static Keyword KWD_DB

KWD_HOST

public static Keyword KWD_HOST

KWD_PORT

public static Keyword KWD_PORT

SGT_STELLA_INTEGER

public static Surrogate SGT_STELLA_INTEGER

KWD_USER

public static Keyword KWD_USER

KWD_PASSWORD

public static Keyword KWD_PASSWORD

KWD_MODULE

public static Keyword KWD_MODULE

SGT_STELLA_MODULE

public static Surrogate SGT_STELLA_MODULE

KWD_CONFIGURATION

public static Keyword KWD_CONFIGURATION

SGT_STELLA_CONFIGURATION_TABLE

public static Surrogate SGT_STELLA_CONFIGURATION_TABLE

KWD_DB_NAME

public static Keyword KWD_DB_NAME

SYM_RDBMS_DEFQUERY

public static Symbol SYM_RDBMS_DEFQUERY

SYM_RDBMS_QUERY_SPECIALIST

public static Symbol SYM_RDBMS_QUERY_SPECIALIST

SGT_RDBMS_CONNECTION_WRAPPER

public static Surrogate SGT_RDBMS_CONNECTION_WRAPPER

SYM_STELLA_WRAPPER_VALUE

public static Symbol SYM_STELLA_WRAPPER_VALUE

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SGT_RDBMS_PROTOCOL

public static Surrogate SGT_RDBMS_PROTOCOL

SGT_RDBMS_SERVER_TYPE

public static Surrogate SGT_RDBMS_SERVER_TYPE

SGT_RDBMS_HOST

public static Surrogate SGT_RDBMS_HOST

SGT_RDBMS_PORT

public static Surrogate SGT_RDBMS_PORT

SGT_RDBMS_USER

public static Surrogate SGT_RDBMS_USER

SGT_RDBMS_PASSWORD

public static Surrogate SGT_RDBMS_PASSWORD

SGT_RDBMS_DB_NAME

public static Surrogate SGT_RDBMS_DB_NAME

SGT_RDBMS_JDBC_CONNECTION_STRING

public static Surrogate SGT_RDBMS_JDBC_CONNECTION_STRING

SGT_RDBMS_CONNECTION_STRING

public static Surrogate SGT_RDBMS_CONNECTION_STRING

SGT_RDBMS_DSN

public static Surrogate SGT_RDBMS_DSN

KWD_PROTOCOL

public static Keyword KWD_PROTOCOL

KWD_SERVER_TYPE

public static Keyword KWD_SERVER_TYPE

SGT_RDBMS_DB_CONNECTION

public static Surrogate SGT_RDBMS_DB_CONNECTION

SGT_RDBMS_RELATION_DATABASE

public static Surrogate SGT_RDBMS_RELATION_DATABASE

SYM_LOGIC_pX

public static Symbol SYM_LOGIC_pX

SGT_RDBMS_RELATION_TABLE_INFO

public static Surrogate SGT_RDBMS_RELATION_TABLE_INFO

SYM_STELLA_RELATION

public static Symbol SYM_STELLA_RELATION

SYM_RDBMS_DBMS_NAME

public static Symbol SYM_RDBMS_DBMS_NAME

SYM_STELLA_TABLE_NAME

public static Symbol SYM_STELLA_TABLE_NAME

SYM_RDBMS_COLUMN_LIST

public static Symbol SYM_RDBMS_COLUMN_LIST

SYM_RDBMS_COLUMN_VECTOR

public static Symbol SYM_RDBMS_COLUMN_VECTOR

SYM_RDBMS_COLUMN_INDEX

public static Symbol SYM_RDBMS_COLUMN_INDEX

SYM_RDBMS_ADJUNCT

public static Symbol SYM_RDBMS_ADJUNCT

SGT_RDBMS_RELATION_COLUMN_INFO

public static Surrogate SGT_RDBMS_RELATION_COLUMN_INFO

SYM_RDBMS_TABLE_INFO

public static Symbol SYM_RDBMS_TABLE_INFO

SYM_RDBMS_COLUMN_NAME

public static Symbol SYM_RDBMS_COLUMN_NAME

SYM_RDBMS_COLUMN_VARIABLE

public static Symbol SYM_RDBMS_COLUMN_VARIABLE

SYM_RDBMS_COLUMN_TYPE

public static Symbol SYM_RDBMS_COLUMN_TYPE

SYM_RDBMS_COLUMN_DB_TYPE

public static Symbol SYM_RDBMS_COLUMN_DB_TYPE

SYM_STELLA_MODULE_NAME

public static Symbol SYM_STELLA_MODULE_NAME

SYM_RDBMS_MODULE_REFERENCE

public static Symbol SYM_RDBMS_MODULE_REFERENCE

SYM_STELLA_MODULE

public static Symbol SYM_STELLA_MODULE

SYM_RDBMS_MODULE_LOCALp

public static Symbol SYM_RDBMS_MODULE_LOCALp

SYM_RDBMS_MODULE_REFERENCE_COLUMN

public static Symbol SYM_RDBMS_MODULE_REFERENCE_COLUMN

SYM_RDBMS_COERCION_FUNCTION

public static Symbol SYM_RDBMS_COERCION_FUNCTION

KWD_UNKNOWN

public static Keyword KWD_UNKNOWN

SGT_RDBMS_RELATION_TABLE

public static Surrogate SGT_RDBMS_RELATION_TABLE

SGT_RDBMS_F_GET_RELATION_TABLE_INFO_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_GET_RELATION_TABLE_INFO_MEMO_TABLE_000

KWD_STRING_CONSTANT

public static Keyword KWD_STRING_CONSTANT

SGT_STELLA_NUMBER

public static Surrogate SGT_STELLA_NUMBER

SGT_STELLA_BOOLEAN

public static Surrogate SGT_STELLA_BOOLEAN

KWD_MYSQL

public static Keyword KWD_MYSQL

SGT_STELLA_STRING_WRAPPER

public static Surrogate SGT_STELLA_STRING_WRAPPER

SYM_STELLA_ITERATOR

public static Symbol SYM_STELLA_ITERATOR

SGT_RDBMS_DATABASE

public static Surrogate SGT_RDBMS_DATABASE

SGT_RDBMS_F_ALLOCATE_DBTABLE_SPECIALIST_ITERATOR_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_ALLOCATE_DBTABLE_SPECIALIST_ITERATOR_MEMO_TABLE_000

KWD_FAILURE

public static Keyword KWD_FAILURE

KWD_CONTINUING_SUCCESS

public static Keyword KWD_CONTINUING_SUCCESS

KWD_FINAL_SUCCESS

public static Keyword KWD_FINAL_SUCCESS

SYM_RDBMS_pREL

public static Symbol SYM_RDBMS_pREL

SYM_RDBMS_pEV

public static Symbol SYM_RDBMS_pEV

SYM_RDBMS_pDB

public static Symbol SYM_RDBMS_pDB

SYM_RDBMS_pARGS

public static Symbol SYM_RDBMS_pARGS

SYM_STELLA_AND

public static Symbol SYM_STELLA_AND

SYM_STELLA_EXISTS

public static Symbol SYM_STELLA_EXISTS

SYM_RDBMS_pDB_TYPE

public static Symbol SYM_RDBMS_pDB_TYPE

SYM_RDBMS_INSTANCE_OF

public static Symbol SYM_RDBMS_INSTANCE_OF

KWD_DONT_OPTIMIZEp

public static Keyword KWD_DONT_OPTIMIZEp

KWD_HOW_MANY

public static Keyword KWD_HOW_MANY

KWD_ALL

public static Keyword KWD_ALL

KWD_INFERENCE_LEVEL

public static Keyword KWD_INFERENCE_LEVEL

KWD_ASSERTION

public static Keyword KWD_ASSERTION

SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_000

public static Symbol SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_000

SGT_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_MEMO_TABLE_000

SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_001

public static Symbol SYM_RDBMS_F_GET_QUERY_PATTERN_EVALUATORS_QUERY_001

SGT_RDBMS_F_SQL_JOIN_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_SQL_JOIN_MEMO_TABLE_000

KWD_VALUE

public static Keyword KWD_VALUE

KWD_WHITE_SPACE

public static Keyword KWD_WHITE_SPACE

KWD_SET

public static Keyword KWD_SET

KWD_NONE

public static Keyword KWD_NONE

SGT_RDBMS_F_SQL_QUERY_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_SQL_QUERY_MEMO_TABLE_000

KWD_EXTERNAL_DB_UPDATE

public static Keyword KWD_EXTERNAL_DB_UPDATE

SGT_LOGIC_NAMED_DESCRIPTION

public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION

SGT_STELLA_TRUE

public static Surrogate SGT_STELLA_TRUE

SGT_STELLA_FALSE

public static Surrogate SGT_STELLA_FALSE

SGT_STELLA_THING

public static Surrogate SGT_STELLA_THING

KWD_EQUIVALENT

public static Keyword KWD_EQUIVALENT

KWD_ISA

public static Keyword KWD_ISA

KWD_PREDICATE

public static Keyword KWD_PREDICATE

KWD_CLIP

public static Keyword KWD_CLIP

KWD_ASSERT

public static Keyword KWD_ASSERT

KWD_RETRACT

public static Keyword KWD_RETRACT

KWD_ASSERT_TRUE

public static Keyword KWD_ASSERT_TRUE

KWD_PRESUME_TRUE

public static Keyword KWD_PRESUME_TRUE

KWD_RETRACT_TRUE

public static Keyword KWD_RETRACT_TRUE

KWD_RETRACT_FALSE

public static Keyword KWD_RETRACT_FALSE

KWD_ASSERT_FALSE

public static Keyword KWD_ASSERT_FALSE

KWD_PRESUME_FALSE

public static Keyword KWD_PRESUME_FALSE

KWD_CONCEIVE

public static Keyword KWD_CONCEIVE

SYM_RDBMS_STARTUP_RDBMS

public static Symbol SYM_RDBMS_STARTUP_RDBMS

SGT_STELLA_XML_ELEMENT

public static Surrogate SGT_STELLA_XML_ELEMENT

SGT_RDBMS_TASK_ID

public static Surrogate SGT_RDBMS_TASK_ID

SGT_RDBMS_SUBTASK_ID

public static Surrogate SGT_RDBMS_SUBTASK_ID

SGT_RDBMS_F_FETCH_EDB_QUERY_MEMO_TABLE_000

public static Surrogate SGT_RDBMS_F_FETCH_EDB_QUERY_MEMO_TABLE_000

SGT_LOGIC_QUERY_ITERATOR

public static Surrogate SGT_LOGIC_QUERY_ITERATOR

SYM_RDBMS_STARTUP_FETCH_INTERFACE

public static Symbol SYM_RDBMS_STARTUP_FETCH_INTERFACE

SYM_RDBMS_STARTUP_RDBMS_SYSTEM

public static Symbol SYM_RDBMS_STARTUP_RDBMS_SYSTEM

Constructor Detail

RDBMS

public RDBMS()

Method Detail

defuntable

public static LogicObject defuntable(Cons args)

Define (or redefine) a database table and map it to a function The accepted syntax is: (defuntable <relconst> <dbconst> <tablename> (<columndecl>+) [<keyword-option>*]).

<columndecl>'s specify the names (and optionally types) of the columns of the database table. They have the same form as a PowerLoom <vardecl>, but column names can be specified with or without question marks. If there is a question mark it will be stripped to determine the column name, otherwise a question mark will be added to generate the relation variable. The optional type specifies the domain of that argument and controls any necessary coercion. The name of each column HAS TO MATCH one of the columns of <tablename>, however, the order is irrelevant and arbitrary projections can be defined by only specifying some subset of <tablename>'s columns.

See deffunction for legal keyword options.

Parameters:

args -

Returns:

LogicObject

defuntableEvaluatorWrapper

public static LogicObject defuntableEvaluatorWrapper(Cons arguments)

callDefuntable

public static NamedDescription callDefuntable(Cons arguments)

Callable version of the deftable command (which see). Expects the same arguments as deftable but supplied as a list.

Parameters:

arguments -

Returns:

NamedDescription

deftable

public static LogicObject deftable(Cons args)

Define (or redefine) a database table and map it to a relation. The accepted syntax is: (deftable <relconst> <dbconst> <tablename> (<columndecl>+) [<keyword-option>*]). <columndecl>'s specify the names (and optionally types) of the columns of the database table. They have the same form as a PowerLoom <vardecl>, but column names can be specified with or without question marks. If there is a question mark it will be stripped to determine the column name, otherwise a question mark will be added to generate the relation variable. The optional type specifies the domain of that argument and controls any necessary coercion. The name of each column HAS TO MATCH one of the columns of <tablename>, however, the order is irrelevant and arbitrary projections can be defined by only specifying some subset of <tablename>'s columns.

See defrelation for legal keyword options.

Parameters:

args -

Returns:

LogicObject

deftableEvaluatorWrapper

public static LogicObject deftableEvaluatorWrapper(Cons arguments)

callDeftable

public static NamedDescription callDeftable(Cons arguments)

Callable version of the deftable command (which see). Expects the same arguments as deftable but supplied as a list.

Parameters:

arguments -

Returns:

NamedDescription

parseOneColumnSpec

public static PropertyList parseOneColumnSpec(Stella_Object columnspec)

parseColumnSpecs

public static Cons parseColumnSpecs(Stella_Object relconst,
                                    Stella_Object columnspecs,
                                    java.lang.Object[] MV_returnarray)

defdb

public static LogicObject defdb(Cons args)

Define (or redefine) a database instance. The accepted syntax is: (defdb <dbconst> [:protocol <protocol string>] [:server-type <server type string>] [:dsn <ODBC data-source name string>] [:odbc-connection-string <ODBC connection string>] [:jdbc-connection-string <JDBC connection string>] [:connection-string <connection string>] ;; deprecated [:host <server host string>] [:port <server host port>] [:user <user name string>] [:password <password string>] [:db-name <database name string>] [<keyword-option>*]) Connection information can be asserted explicitly later or be done programmatically, as long as it is done before the first time a connection attempt is made (e.g., during a query). This information is passed to SDBCSconnect (which see for more documentation on ways to specify a connection). For example, for ODBC a :DSN, an :ODBC-CONNECTION-STRING or an appropriate combination of :HOST, :PORT, :USER, :PASSWORD AND :DB-NAME can be used. For JDBC a :JDBC-CONNECTION-STRING or combination of :HOST, :PORT, etc. can be used. See defobject for additional legal keyword options.

Parameters:

args -

Returns:

LogicObject

defdbEvaluatorWrapper

public static LogicObject defdbEvaluatorWrapper(Cons arguments)

callDefdb

public static LogicObject callDefdb(Cons arguments)

Callable version of of the defdb command (which see). Expects the same arguments as defdb but supplied as a list.

Parameters:

arguments -

Returns:

LogicObject

extractRdbmsOptions

public static Cons extractRdbmsOptions(Symbol selfname,
                                       Cons options,
                                       java.lang.Object[] MV_returnarray)

assertRdbmsConnectionInfo

public static void assertRdbmsConnectionInfo(java.lang.String dbInstanceName,
                                             Cons options)

Assert DB connectivity information about the DB instance dbInstanceName (for example, "edb") according to options. Looks up dbInstanceName in the module specified by the :module option (defaults to current module) and retracts any preexisting connection information. New assertions are also made in that module. Default values are taken from the configuration table specified by :configuration.

Understands the following options, with default values specified by the configuration key in parentheses: :connection-string ("DBConnection"), :jdbc-connection-string ("JDBCString"), :odbc-connection-string ("ODBCString"), :dsn ("DSN"), :db ("DBName"), :host ("DBHost"), :port ("DBPort"), :user ("DBUser"), :password ("DBPassword"), :module, :configuration.

Parameters:

dbInstanceName -

options -

assertRdbmsConnectionInfoEvaluatorWrapper

public static void assertRdbmsConnectionInfoEvaluatorWrapper(Cons arguments)

defquery

public static LogicObject defquery(Cons args)

Define (or redefine) an (external) query and map it to a relation. The accepted syntax is: (defquery <relconst> (<vardecl>+) {:query-pattern (<query-evaluator> <dbconst> <arguments-string>)}* [<keyword-option>*]). <query-evaluator> has to be a Computed_Procedure that takes the following three arguments: the <relconst> query proposition, the database object <dbconst> and the arguments string. It needs to return an iterator that generates CONS tuples whose elements will be bound in sequence to <relconst>'s arguments.

See defrelation for other legal keyword options.

Parameters:

args -

Returns:

LogicObject

defqueryEvaluatorWrapper

public static LogicObject defqueryEvaluatorWrapper(Cons arguments)

callDefquery

public static NamedDescription callDefquery(Cons arguments)

Callable version of the defquery command (which see). Expects the same arguments as deftable but supplied as a list.

Parameters:

arguments -

Returns:

NamedDescription

normalizeConnectionArgument

public static StringWrapper normalizeConnectionArgument(Stella_Object arg)

connectToDatabase

public static edu.isi.sdbc.Connection connectToDatabase(LogicObject database)

disconnectFromDatabase

public static void disconnectFromDatabase(LogicObject database)

getConnectionFromDatabase

public static edu.isi.sdbc.Connection getConnectionFromDatabase(LogicObject database)

getConnectionFromPredicate

public static edu.isi.sdbc.Connection getConnectionFromPredicate(Surrogate relationref)

allocateResultSetIterator

public static Iterator allocateResultSetIterator(edu.isi.sdbc.Connection connection,
                                                 LogicObject relation,
                                                 java.lang.String sqlstatement)

resultSetIteratorNextP

public static boolean resultSetIteratorNextP(AllPurposeIterator self)

getTableRelation

public static NamedDescription getTableRelation(java.lang.String tableName,
                                                Module module)

getTableColumnIndex

public static int getTableColumnIndex(NamedDescription tableRelation,
                                      java.lang.String columnName,
                                      Module module)

getTableColumnModuleName

public static StringWrapper getTableColumnModuleName(NamedDescription tablerelation,
                                                     int columnindex)

getTableColumnModuleReference

public static StringWrapper getTableColumnModuleReference(NamedDescription tablerelation,
                                                          int columnindex)

getTableColumnName

public static StringWrapper getTableColumnName(NamedDescription tablerelation,
                                               int columnindex)

getTableColumnNames

public static Cons getTableColumnNames(NamedDescription tablerelation)

createRelationTableInfo

public static RelationTableInfo createRelationTableInfo(NamedDescription relation)

getRelationTableInfo

public static RelationTableInfo getRelationTableInfo(NamedDescription tablerelation)

collectionValuedConstraintP

public static boolean collectionValuedConstraintP(Stella_Object argument)

collectionValuedConstraintElements

public static Cons collectionValuedConstraintElements(Stella_Object argument)

printSqlValue

public static void printSqlValue(OutputStream stream,
                                 Stella_Object value,
                                 RelationColumnInfo column)

printColumnConstraint

public static void printColumnConstraint(OutputStream sql,
                                         RelationColumnInfo column,
                                         java.lang.String value,
                                         boolean casesensitiveP)

printArgumentConstraint

public static void printArgumentConstraint(OutputStream sql,
                                           Stella_Object argument,
                                           RelationColumnInfo column)

printSqlColumnList

public static void printSqlColumnList(OutputStream stream,
                                      RelationTableInfo tableInfo)

printSqlConstraintList

public static void printSqlConstraintList(OutputStream stream,
                                          RelationTableInfo tableInfo,
                                          Vector arguments)

createSqlFromProposition

public static java.lang.String createSqlFromProposition(Proposition proposition)

allocateDbtableSpecialistIterator

public static Iterator allocateDbtableSpecialistIterator(ControlFrame frame)

retrieveNextDbQuerySolution

public static Keyword retrieveNextDbQuerySolution(ControlFrame frame,
                                                  Keyword lastmove)

dbtableSpecialist

public static Keyword dbtableSpecialist(ControlFrame frame,
                                        Keyword lastmove)

getQueryPatternEvaluators

public static Cons getQueryPatternEvaluators(Surrogate relationref)

helpMemoizeSqlJoin

public static Iterator helpMemoizeSqlJoin(Proposition proposition,
                                          LogicObject database,
                                          Stella_Object arguments)

sqlJoin

public static Iterator sqlJoin(Proposition proposition,
                               LogicObject database,
                               Stella_Object arguments)

helpMemoizeSqlQuery

public static Iterator helpMemoizeSqlQuery(Proposition proposition,
                                           LogicObject database,
                                           Stella_Object arguments)

sqlQueryInstantiateConstraints

public static java.lang.String sqlQueryInstantiateConstraints(java.lang.String sql,
                                                              KeyValueList bindings)

sqlQuery

public static Iterator sqlQuery(Proposition proposition,
                                LogicObject database,
                                Stella_Object arguments)

allocateQuerySpecialistIterator

public static Iterator allocateQuerySpecialistIterator(ControlFrame frame)

querySpecialist

public static Keyword querySpecialist(ControlFrame frame,
                                      Keyword lastmove)

dbUpdateDemon

public static void dbUpdateDemon(Proposition dbproposition)

checkForExternalDbUpdates

public static void checkForExternalDbUpdates(Proposition proposition,
                                             LogicObject database)

getQueryPatternMemoizationKey

public static Stella_Object getQueryPatternMemoizationKey(Proposition proposition)

coerceValues

public static Cons coerceValues(Cons values,
                                RelationTableInfo table)

coerceStringToPowerloomObject

public static Stella_Object coerceStringToPowerloomObject(java.lang.String value,
                                                          NamedDescription type,
                                                          Module module,
                                                          boolean localP)

numberStringToInteger

public static int numberStringToInteger(java.lang.String x)

coercePowerloomObjectToString

public static java.lang.String coercePowerloomObjectToString(Stella_Object renamed_Object,
                                                             NamedDescription type)

findOrCreateInstance

public static Stella_Object findOrCreateInstance(java.lang.String name,
                                                 NamedDescription type,
                                                 Module module,
                                                 boolean localP)

Find an existing instance with name in module or create one with type if it does not yet exist. If localP do not look into any inherited modules.

Parameters:

name -

type -

module -

localP -

Returns:

Stella_Object

getFunctionAndValueTerms

public static Skolem getFunctionAndValueTerms(Proposition proposition,
                                              java.lang.Object[] MV_returnarray)

getPropositionBaseRelationRef

public static Surrogate getPropositionBaseRelationRef(Proposition prop)

createSqlAssertionFromProposition

public static java.lang.String createSqlAssertionFromProposition(Proposition proposition,
                                                                 Keyword mode)

dbRelationGoesTrue

public static void dbRelationGoesTrue(Proposition proposition)

dbRelationGoesUnknown

public static void dbRelationGoesUnknown(Proposition proposition)

dbRelationGoesFalse

public static void dbRelationGoesFalse(Proposition proposition)

dbRelationUpdateDemon

public static void dbRelationUpdateDemon(Proposition proposition,
                                         Keyword updateMode)

runFetchQuery

public static Stella_Object runFetchQuery(java.lang.String host,
                                          int port,
                                          java.lang.String queryId,
                                          java.lang.String taskId,
                                          java.lang.String subtaskId,
                                          java.lang.String database,
                                          java.lang.String parameters)

Runs a Fetch query specifying the parameters given. Returns an object representing the returned XML-encoded answer from the server.

Parameters:

host -

port -

queryId -

taskId -

subtaskId -

database -

parameters -

Returns:

Stella_Object

normalizeFetchQueryArguments

public static java.lang.String normalizeFetchQueryArguments(Proposition proposition,
                                                            Stella_Object arguments,
                                                            java.lang.Object[] MV_returnarray)

helpMemoizeFetchEdbQuery

public static Iterator helpMemoizeFetchEdbQuery(Proposition proposition,
                                                LogicObject database,
                                                Stella_Object arguments)

fetchEdbQuery

public static Iterator fetchEdbQuery(Proposition proposition,
                                     LogicObject database,
                                     Stella_Object arguments)

parseFetchXmlAnswer

public static Cons parseFetchXmlAnswer(Cons xmlanswer,
                                       NamedDescription relation,
                                       Cons outputcolumns)

parseOneFetchXmlObject

public static Cons parseOneFetchXmlObject(Cons renamed_Object,
                                          NamedDescription relation,
                                          Cons outputcolumns)

startFetchEdbGateway

public static void startFetchEdbGateway(int port)

evaluateFetchQuery

public static void evaluateFetchQuery(KeyValueList keys,
                                      java.io.PrintStream out)

buildOneTableAssertion

public static Cons buildOneTableAssertion(NamedDescription tableRelation,
                                          Cons tuple,
                                          Module dbModule)

generateTableAssertions

public static Cons generateTableAssertions(java.lang.String tableName,
                                           Cons xmlAnswer,
                                           Module module,
                                           Module dbModule)

Takes a Stella-parsed, XML-encoded xmlAnswer from Fetch based on the database table tableName and uses it to generate an assertion for an appropriate relation for inclusion in module. The database meta information is found in dbModule.

Parameters:

tableName -

xmlAnswer -

module -

dbModule -

Returns:

Cons

lookupStringValue

public static java.lang.String lookupStringValue(NamedDescription relation,
                                                 LogicObject instance,
                                                 Module mod)

fetchQueryAssertions

public static Cons fetchQueryAssertions(java.lang.String host,
                                        int port,
                                        LogicObject fetchQuery,
                                        java.lang.String taskId,
                                        java.lang.String subtaskId,
                                        java.lang.String database,
                                        java.lang.String parameterValue,
                                        Module targetModule,
                                        Module dbModule)

Runs a fetchQuery using taskId; subtaskId,database and specifying a single additional parameterValue. The connection is made to a remote http query server running on host port number port. Returns a set of assertions for targetModule using the information in dbModule to find the appropriate relations.

Parameters:

host -

port -

fetchQuery -

taskId -

subtaskId -

database -

parameterValue -

targetModule -

dbModule -

Returns:

Cons