sqltypes (library)

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.7#127 (2001/10/26, 14:52:5 CEST)

• Usage and interface (sqltypes)
• Documentation on exports (sqltypes)

Usage and interface (sqltypes)

Documentation on exports (sqltypes)

REGTYPE: sqltype/1:

sqltype(int).
sqltype(flt).
sqltype(num).
sqltype(string).
sqltype(date).
sqltype(time).
sqltype(datetime).

These types have the same meaning as the corresponding standard types in the basictypes library.

Usage: sqltype(Type)

• Description: Type is an SQL data type supported by the translator.

PREDICATE: accepted_type/2:

Usage: accepted_type(SystemType, NativeType)

• Description: For the moment, tests wether the SystemType received is a sybase or a postgres type (in the future other systems should be supported) and obtains its equivalent NativeType sqltype.
• Call and exit should be compatible with: SystemType is an SQL data type supported by Sybase. (sqltypes:sybasetype/1) NativeType is an SQL data type supported by the translator. (sqltypes:sqltype/1)

PREDICATE: get_type/2:

Usage: get_type(Constant, Type)

• Description: Prolog implementation-specific definition of type retrievals. CIAO Prolog version given here (ISO).
• Call and exit should be compatible with: Constant is any term. (basic_props:term/1) Type is an SQL data type supported by the translator. (sqltypes:sqltype/1)
• The following properties should hold at call time: Constant is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: type_compatible/2:

Usage: type_compatible(TypeA, TypeB)

• Description: Checks if TypeA and TypeB are compatible types, i.e., they are the same or one is a subtype of the other.
• Call and exit should be compatible with: TypeA is an SQL data type supported by the translator. (sqltypes:sqltype/1) TypeB is an SQL data type supported by the translator. (sqltypes:sqltype/1)

PREDICATE: type_union/3:

Usage: type_union(TypeA, TypeB, Union)

• Description: Union is the union type of TypeA and TypeB.
• Call and exit should be compatible with: TypeA is an SQL data type supported by the translator. (sqltypes:sqltype/1) TypeB is an SQL data type supported by the translator. (sqltypes:sqltype/1) Union is an SQL data type supported by the translator. (sqltypes:sqltype/1)

REGTYPE: sybasetype/1:

SQL datatypes supported by Sybase for which a translation is defined:

sybasetype(integer).
sybasetype(numeric).
sybasetype(float).
sybasetype(double).
sybasetype(date).
sybasetype(char).
sybasetype(varchar).
sybasetype('long varchar').
sybasetype(binary).
sybasetype('long binary').
sybasetype(timestamp).
sybasetype(time).
sybasetype(tinyint).

Usage: sybasetype(Type)

• Description: Type is an SQL data type supported by Sybase.

PREDICATE: sybase2sqltypes_list/2:

Usage: sybase2sqltypes_list(SybaseTypesList, SQLTypesList)

• Description: SybaseTypesList is a list of Sybase SQL types. PrologTypesList contains their equivalent SQL-type names in CIAO.
• The following properties should hold upon exit: SybaseTypesList is a list. (basic_props:list/1) SQLTypesList is a list. (basic_props:list/1)

PREDICATE: sybase2sqltype/2:

Usage: sybase2sqltype(SybaseType, SQLType)

• Description: SybaseType is a Sybase SQL type name, and SQLType is its equivalent SQL-type name in CIAO.
• The following properties should hold upon exit: SybaseType is an SQL data type supported by Sybase. (sqltypes:sybasetype/1) SQLType is an SQL data type supported by the translator. (sqltypes:sqltype/1)

REGTYPE: postgrestype/1:

SQL datatypes supported by postgreSQL for which a translation is defined:

postgrestype(int2).
postgrestype(int4).
postgrestype(int8).
postgrestype(float4).
postgrestype(float8).
postgrestype(date).
postgrestype(timestamp).
postgrestype(time).
postgrestype(char).
postgrestype(varchar).
postgrestype(text).
postgrestype(bool).

Usage: postgrestype(Type)

• Description: Type is an SQL data type supported by postgres.

PREDICATE: postgres2sqltypes_list/2:

Usage: postgres2sqltypes_list(PostgresTypesList, SQLTypesList)

• Description: PostgresTypesList is a list of postgres SQL types. PrologTypesList contains their equivalent SQL-type names in CIAO.
• The following properties should hold upon exit: PostgresTypesList is a list. (basic_props:list/1) SQLTypesList is a list. (basic_props:list/1)

PREDICATE: postgres2sqltype/2:

Usage: postgres2sqltype(PostgresType, SQLType)

• Description: PostgresType is a postgres SQL type name, and SQLType is its equivalent SQL-type name in CIAO.
• The following properties should hold upon exit: PostgresType is an SQL data type supported by postgres. (sqltypes:postgrestype/1) SQLType is an SQL data type supported by the translator. (sqltypes:sqltype/1)

Go to the first, previous, next, last section, table of contents.