Now showing items 1-10 of 132
Building efficient and flexible feature-based indices
(Elsevier, 1990)
If database management systems are to play an important role in CAD/CAM technologies, building engineering indices must be a primary task even though it is beyond conventional database practice. Information regarding design ...
Cache coherence requirements for interprocess rendezvous
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1990-02)
Multiprocessors in which a shared bus is used by the processor to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages. A language construct that ...
Review of management information systems research: A management support emphasis
(Elsevier, 1988)
This article organizes, describes, and evaluates MIS research from 1981 through 1985 in order to provide an understanding of what constitutes MIS research and to indicate potentially rich areas for future research. The ...
Datalog vs first-order logic
(Elsevier, 1994-12)
Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples ...
HR professional development: creating the future creators at the University of Michigan Business School
(John Wiley & Sons, Inc., 1999)
This article focuses on the development of mid- to senior-level HR professionals through a public program offered at the University of Michigan Business School. We suggest that developing HR professionals requires a theory ...
Regular languages in NC1
(Elsevier, 1992-06)
We give several characterizations, in terms of formal logic, semigroup theory, and operations on languages, of the regular languages in the circuit complexity class AC0, thus answering a question of Chandra, Fortune, and ...
A model for learning global properties
(Elsevier, 1981)
This paper reports developments in a mathematical model of cognitive learning. The model describes the processes of formation, testing, and revision of hypotheses held by a learner attempting to understand an environment. ...
Flexible view update
(Elsevier, 1992-09-01)
As uninstantiated windows onto a relational database, views are modified only when the intended update can be realized by updates against the underlying database. Such a conventional restriction can, and must, be relaxed ...