WorldCat Identities

Kuper, Gabriel

Overview
Works: 15 works in 66 publications in 3 languages and 867 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Author, Editor, htt, Other
Publication Timeline
.
Most widely held works by Gabriel Kuper
Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings by Gabriel Kuper( )

23 editions published between 1995 and 1996 in 3 languages and held by 525 WorldCat member libraries worldwide

"This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995. The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management."--PUBLISHER'S WEBSITE
Constraint databases by Gabriel Kuper( Book )

13 editions published between 1998 and 2000 in English and German and held by 299 WorldCat member libraries worldwide

This book is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages
System/U : a database system based on the universal relation assumption by Henry F Korth( Book )

5 editions published between 1982 and 1983 in English and held by 9 WorldCat member libraries worldwide

The logical data model : a new approach to database logic by Gabriel Kuper( Book )

6 editions published between 1985 and 1989 in English and held by 7 WorldCat member libraries worldwide

Abstract: "We propose an object-oriented data model that generalizes the relational, hierarchical, and network models. A database scheme in this model is a directed graph, whose leaves represent data and whose internal nodes represent connections between the data. Instances are constructed from objects, which have separate names and values. We define a logic for the model, and describe a nonprocedural query language that is based on the logic. We also describe an algebraic query language and show that it is equivalent to the logical language."
An algorithm for reducing acyclic hypergraphs by Gabriel Kuper( Book )

4 editions published in 1982 in English and held by 7 WorldCat member libraries worldwide

The report gives a description of an algorithm to compute efficiently the Graham reduction of an acyclic hypergraph with sacred nodes. To apply the algorithm we must already have a tree representation of the hypergraphs, and therefore it is useful when we have a fixed hypergraph and wish to compute Graham reductions many times, as we do in the System/U query interpretation algorithm. (Author)
Constraint query languages by P. C Kanellakis( Book )

3 editions published between 1989 and 1990 in English and held by 5 WorldCat member libraries worldwide

Abstract: "We discuss the relationship between constraint programming and database query languages. We show that bottom-up efficient, declarative database programming can be combined with efficient constraint solving. The key intuition is that the generalization of a ground fact, or tuple, is a conjunction of constraints. We describe the basic Constraint Query Language design principles, and illustrate them with four different classes of constraints: Polynomial constraints, rational order, equality and boolean constraints."
Logic programming with sets by Gabriel Kuper( Book )

2 editions published between 1986 and 1987 in English and held by 3 WorldCat member libraries worldwide

On the expressive power of infinite temporal databases by Gabriel Kuper( Book )

3 editions published between 1992 and 2008 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Abstract: "We disccuss different techniques for representing infinite temporal data. There are two basic approaches: A procedural description, as used in production systems, and represented, in this paper, by a version of Datalog. The second approach is a more declarative method, using some form of temporal logic programming. We examine several versions of each approach, and compare their expressive power, i.e., what temporal data each formalism can capture."
A New Approach to Database Logic by Gabriel Kuper( Book )

1 edition published in 1984 in English and held by 2 WorldCat member libraries worldwide

In this paper the authors propose a mathematical framework for unifying and generalizing the three principal data models, i.e., the relational, hierarchical and network models. Until recently most work on database theory has focussed on the relational model, mainly due to its elegance and mathematical simplicity compared to the other models. Some of this work has pointed out various disadvantages of the relational model, among them its lack of semantics and the fact that it forces the data to have a flat structure that the real data does not always have. In the model the authors propose here a database scheme is an arbitrary directed graph. As in the format model, leaves (i.e., nodes with no outgoing edges) represent data, and internal nodes have a function r on L, that assigns r-values to these l-values, and the authors require that the r-values be of the correct form, depending on the type of the node
An efficient parallel algorithm for anti-unification by Gabriel Kuper( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Constraint Databases( )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re­ lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages. The book is a collaborative effort involving many authors who have con­ tributed chapters on their fields of expertise. Despite this, the book is designed to be read as a whole, as opposed to a collection of individual surveys. In par­ ticular, the terminology and the style of presentation have been standardized, and there are multiple cross-references between the chapters. The idea of constraint databases goes back to the late Paris Kanellakis
Constraint query languages by P. C Kanellakis( Book )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Who Should Pay for Interdependent Risk? Policy Implications for Cyber-Physical Security Interdependence in Aviation by Gabriel Kuper( )

1 edition published in 2018 in English and held by 1 WorldCat member library worldwide

This study addresses various issues in the study of interdependent cyber security, and sheds light on the economic and policy implications of increasing security interdependence. We investigate the impact of a policy arrangement affecting security interdependence on agents' regulated and unregulated actions, and the corresponding costs to society. Focusing on security expenditure issues in the airport network, we first develop a game theory based analytical framework, and derive explicit Nash equilibrium and socially optimal solutions. We then conduct numerical experiments that reflect the real-world context (data from Airport Council International), to assess the impact of a change in interdependence on airports' security expenditures and the overall expected costs to society and the fairness of security financing. Our study provide insights on the economic and policy implications for US, Europe and Asia
Constraint query languages by P. C Kanellakis( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

Logical data model by Gabriel Kuper( )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.71 (from 0.69 for Constraint ... to 0.99 for Logical da ...)

Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings
Covers
Constraint databases
Languages