Results 181 to 190 of about 14,799,241 (221)
Data Types and Advanced Data Types [PDF]
, 2015 Transact-SQL is a strongly-typed language. Columns and variables must have a valid data type, and the type is a constraint of the column. In this chapter, we will not cover all data types comprehensively. We will skip the obvious part and concentrate on specific information and on more complex and sophisticated data types that were introduced in SQL ...
Miguel Cebollero +2 more
openaire +1 more source
Acta Informatica, 1982 The concept of a data type with total operations and exceptions is proposed as a basic structuring tool for the design of verifiable robust software. A notation for the specification of such data types is presented and the issues underlying their implementation in a programming language supporting data abstraction and exception handling are discussed ...
openaire +3 more sources
ACM Transactions on Programming Languages and Systems, 1985 An important goal of programming language research is to isolate the fundamenal concepts of languages, those basic ideas that allow us to understand the relationships among various language features. This paper examines one of these underlying notions, that of data type , with particular attention to the treatment ...
Alan Demers, James Donahue
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ACM SIGMOD Record, 1984
This paper explores the use of commands in a query language as an abstract data type (ADT) in data base management systems Basically, an ADT facility allows new data types, such as polygons, lines, money, time, arrays of floating point numbers, bit vectors, etc, to supplement the built-in data types in a data base system.
Erika Anderson +3 more
openaire +3 more sources
This paper explores the use of commands in a query language as an abstract data type (ADT) in data base management systems Basically, an ADT facility allows new data types, such as polygons, lines, money, time, arrays of floating point numbers, bit vectors, etc, to supplement the built-in data types in a data base system.
Erika Anderson +3 more
openaire +3 more sources
Typing abstract data types [PDF]
, 1995 The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their value for specification. Second, we demonstrate the use of type theory as a specification language. This is done by means of a detailed example, namely, the specification of an abstract data type (ADT) for multisets.
openaire +1 more source
1995
This chapter introduces the SURROGATE data type, which allows time-varying objects to be modeled.
Jensen, C. S., Snodgrass, R. T.
openaire +3 more sources
This chapter introduces the SURROGATE data type, which allows time-varying objects to be modeled.
Jensen, C. S., Snodgrass, R. T.
openaire +3 more sources
SIAM Journal on Computing, 1982
Data types can be elegantly characterized as the algebraic quotient of the initial algebra in the appropriate class of algebras. In this paper, data types whose domain is continuous (continuous data types) are defined and studied. It is shown that an algebraic quotient of the appropriate initial continuous algebra can be used to characterize continuous
Tom Maibaum, Michael R. Levy
openaire +3 more sources
Data types can be elegantly characterized as the algebraic quotient of the initial algebra in the appropriate class of algebras. In this paper, data types whose domain is continuous (continuous data types) are defined and studied. It is shown that an algebraic quotient of the appropriate initial continuous algebra can be used to characterize continuous
Tom Maibaum, Michael R. Levy
openaire +3 more sources