Kanellakis, P. C. (Paris C.) 1953
Overview
Works:  67 works in 161 publications in 2 languages and 1,931 library holdings 

Genres:  Conference papers and proceedings Academic theses 
Roles:  Author, Editor, htt, Honoree 
Classifications:  QA76.9.D3, 005.74 
Publication Timeline
.
Most widely held works about
P. C Kanellakis
 The shining star and tragic loss of ParisChristos Kanellakis and his family : internationally acclaimed professor of computer science at the Brown University, Rhode Island, in the United States of America, December 3, 1953December 20, 1995( Book )
 Special issue commemorating the 50th birthday anniversary of Paris C. Kanellakis( Book )
Most widely held works by
P. C Kanellakis
ICDT '90 : Third International Conference on Database Theory, Paris, France, December 1214, 1990 : proceedings by
S Abiteboul(
Book
)
13 editions published in 1990 in English and Italian and held by 495 WorldCat member libraries worldwide
"The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, objectoriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field."PUBLISHER'S WEBSITE
13 editions published in 1990 in English and Italian and held by 495 WorldCat member libraries worldwide
"The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, objectoriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field."PUBLISHER'S WEBSITE
PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday
: San Diego, California, USA, June 8th, 2003 by Paris C. Kanellakis Memorial Workshop(
)
7 editions published in 2003 in English and held by 385 WorldCat member libraries worldwide
7 editions published in 2003 in English and held by 385 WorldCat member libraries worldwide
Building an objectoriented database system : the story of O₂(
Book
)
19 editions published between 1992 and 2006 in English and held by 298 WorldCat member libraries worldwide
19 editions published between 1992 and 2006 in English and held by 298 WorldCat member libraries worldwide
Faulttolerant parallel computation by
P. C Kanellakis(
Book
)
14 editions published between 1997 and 2011 in English and Undetermined and held by 255 WorldCat member libraries worldwide
FaultTolerant Parallel Computation presents recent advances in algorithmic ways of introducing faulttolerance in multiprocessors under the constraint of preserving efficiency. The difficulty associated with combining faulttolerance and efficiency is that the two have conflicting means: faulttolerance is achieved by introducing redundancy, while efficiency is achieved by removing redundancy. This monograph demonstrates how in certain models of parallel computation it is possible to combine efficiency and faulttolerance and shows how it is possible to develop efficient algorithms without concern for faulttolerance, and then correctly and efficiently execute these algorithms on parallel machines whose processors are subject to arbitrary dynamic failstop errors. The efficient algorithmic approaches to multiprocessor faulttolerance presented in this monograph make a contribution towards bridging the gap between the abstract models of parallel computation and realizable parallel architectures. FaultTolerant Parallel Computation presents the state of the art in algorithmic approaches to faulttolerance in efficient parallel algorithms. The monograph synthesizes work that was presented in recent symposia and published in refereed journals by the authors and other leading researchers. This is the first text that takes the reader on the grand tour of this new field summarizing major results and identifying hard open problems. This monograph will be of interest to academic and industrial researchers and graduate students working in the areas of faulttolerance, algorithms and parallel computation and may also be used as a text in a graduate course on parallel algorithmic techniques and faulttolerance
14 editions published between 1997 and 2011 in English and Undetermined and held by 255 WorldCat member libraries worldwide
FaultTolerant Parallel Computation presents recent advances in algorithmic ways of introducing faulttolerance in multiprocessors under the constraint of preserving efficiency. The difficulty associated with combining faulttolerance and efficiency is that the two have conflicting means: faulttolerance is achieved by introducing redundancy, while efficiency is achieved by removing redundancy. This monograph demonstrates how in certain models of parallel computation it is possible to combine efficiency and faulttolerance and shows how it is possible to develop efficient algorithms without concern for faulttolerance, and then correctly and efficiently execute these algorithms on parallel machines whose processors are subject to arbitrary dynamic failstop errors. The efficient algorithmic approaches to multiprocessor faulttolerance presented in this monograph make a contribution towards bridging the gap between the abstract models of parallel computation and realizable parallel architectures. FaultTolerant Parallel Computation presents the state of the art in algorithmic approaches to faulttolerance in efficient parallel algorithms. The monograph synthesizes work that was presented in recent symposia and published in refereed journals by the authors and other leading researchers. This is the first text that takes the reader on the grand tour of this new field summarizing major results and identifying hard open problems. This monograph will be of interest to academic and industrial researchers and graduate students working in the areas of faulttolerance, algorithms and parallel computation and may also be used as a text in a graduate course on parallel algorithmic techniques and faulttolerance
Principles and practice of constraint programming : the Newport papers by
Vijay Saraswat(
Book
)
1 edition published in 1995 in English and held by 175 WorldCat member libraries worldwide
"This collection of twentythree original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple disciplines and across the world. The collection contributes to the understanding of the common principles of this emerging general paradigm, the investigation of its theoretical foundations as well as applications to realworld computing problems. It is organized around themes of concurrency and reactive systems, languages and environments, algorithms, computer graphics, and artificial intelligence." "Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwiseprocedural systems to reduce the development effort. The mid1980s have witnessed the emergence of generalpurpose programming languages based on constraints, such as constraint logic programming and concurrent constraint programming, with significant applications in academia and industry. Today, an increasing number of researchers from all over the map of computing are looking at different aspects of this new computational paradigm."Jacket
1 edition published in 1995 in English and held by 175 WorldCat member libraries worldwide
"This collection of twentythree original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple disciplines and across the world. The collection contributes to the understanding of the common principles of this emerging general paradigm, the investigation of its theoretical foundations as well as applications to realworld computing problems. It is organized around themes of concurrency and reactive systems, languages and environments, algorithms, computer graphics, and artificial intelligence." "Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwiseprocedural systems to reduce the development effort. The mid1980s have witnessed the emergence of generalpurpose programming languages based on constraints, such as constraint logic programming and concurrent constraint programming, with significant applications in academia and industry. Today, an increasing number of researchers from all over the map of computing are looking at different aspects of this new computational paradigm."Jacket
Database programming languages : bulk types & persistent data : the Third International Workshop, August 2730, 1991, Nafplion,
Greece by International Workshop on Database Programming Languages(
Book
)
8 editions published between 1991 and 1992 in English and held by 97 WorldCat member libraries worldwide
8 editions published between 1991 and 1992 in English and held by 97 WorldCat member libraries worldwide
The Theory of databases(
Book
)
3 editions published between 1979 and 1986 in English and held by 37 WorldCat member libraries worldwide
3 editions published between 1979 and 1986 in English and held by 37 WorldCat member libraries worldwide
The complexity of concurrency control for distributed databases by
P. C Kanellakis(
Book
)
5 editions published in 1981 in English and held by 16 WorldCat member libraries worldwide
5 editions published in 1981 in English and held by 16 WorldCat member libraries worldwide
Object identity as a query language primitive by
S Abiteboul(
Book
)
6 editions published in 1989 in English and held by 13 WorldCat member libraries worldwide
6 editions published in 1989 in English and held by 13 WorldCat member libraries worldwide
Elements of relational database theory by
P. C Kanellakis(
Book
)
3 editions published between 1988 and 1989 in English and held by 12 WorldCat member libraries worldwide
Some important research themes are reviewed in this context: the analysis of the hypergraph syntax of a database scheme and the extensions of the query language using deduction or universal relation assumptions. The subsequent parts of the presentation are structured around the two fundamental concepts illustrated in the first part, namely dependencies and queries. The main themes of dependency theory are implication problems and applications to database scheme design. Queries are classified in a variety of ways, with emphasis on the connections between the expressibility of query languages, finite model theory and logic programming
3 editions published between 1988 and 1989 in English and held by 12 WorldCat member libraries worldwide
Some important research themes are reviewed in this context: the analysis of the hypergraph syntax of a database scheme and the extensions of the query language using deduction or universal relation assumptions. The subsequent parts of the presentation are structured around the two fundamental concepts illustrated in the first part, namely dependencies and queries. The main themes of dependency theory are implication problems and applications to database scheme design. Queries are classified in a variety of ways, with emphasis on the connections between the expressibility of query languages, finite model theory and logic programming
FaultTolerant Parallel Computation by
P. C Kanellakis(
)
2 editions published in 1997 in Undetermined and English and held by 10 WorldCat member libraries worldwide
RECENT advances in computer technology made parallel machines a reality. Massively parallel systems use many generalpurpose, inexpensive processing elements to attain computation speedups comparable to or better than those achieved by expensive, specialized machines with a small number of fast processors. In such setting, however, one would expect to see an increased number of processor failures attributable to hardware or software. This may eliminate the potential advantage of parallel computation. We believe that this presents a reliability bottleneck that is among fundamental problems in parallel computation. We investigate algorithmic ways of introducing faulttolerance in multiprocessors under the constraint of preserving efficiency. This research demonstrates how in certain models of parallel computation it is possible to combine efficiency and faulttolerance. We show that in the models we study, it is possible to develop efficient parallel algorithms without concern for faulttolerance, and then correctly and efficiently execute these algorithms on parallel machines whose processors are subject to arbitrary dynamic failstop errors. By ensuring efficient executions for any patterns of failures, the efficiency is also maintained when failures are infrequent, or when the expected number of failures is small
2 editions published in 1997 in Undetermined and English and held by 10 WorldCat member libraries worldwide
RECENT advances in computer technology made parallel machines a reality. Massively parallel systems use many generalpurpose, inexpensive processing elements to attain computation speedups comparable to or better than those achieved by expensive, specialized machines with a small number of fast processors. In such setting, however, one would expect to see an increased number of processor failures attributable to hardware or software. This may eliminate the potential advantage of parallel computation. We believe that this presents a reliability bottleneck that is among fundamental problems in parallel computation. We investigate algorithmic ways of introducing faulttolerance in multiprocessors under the constraint of preserving efficiency. This research demonstrates how in certain models of parallel computation it is possible to combine efficiency and faulttolerance. We show that in the models we study, it is possible to develop efficient parallel algorithms without concern for faulttolerance, and then correctly and efficiently execute these algorithms on parallel machines whose processors are subject to arbitrary dynamic failstop errors. By ensuring efficient executions for any patterns of failures, the efficiency is also maintained when failures are infrequent, or when the expected number of failures is small
On the sequential nature of unification by
Cynthia Dwork(
Book
)
4 editions published between 1983 and 1984 in English and held by 9 WorldCat member libraries worldwide
The problem of unification of terms is logspace complete for P. in deriving this lower bound no use is made of the potentially concise representation of terms by directed acyclic graphs. In addition, the problem remains complete even if infinite substitutions are allowed. A consequence of this result is that parallelism cannot significantly improve on the best sequential solutions for unification. The dual problem of computing the congruence closure of an equivalence relation is also logspace complete for P. However, it is shown that for the problem of term matching, an important subcase of unification, there is a good parallel algorithm using O(log 2 n) time and nO(1) processors on a PRAM. For the O(log2 n) parallel time upper bound it is assumed that the terms are represented by directed acyclic graphs; if the longer string representation is used an O(log n) parallel time bound is obtained. (Author)
4 editions published between 1983 and 1984 in English and held by 9 WorldCat member libraries worldwide
The problem of unification of terms is logspace complete for P. in deriving this lower bound no use is made of the potentially concise representation of terms by directed acyclic graphs. In addition, the problem remains complete even if infinite substitutions are allowed. A consequence of this result is that parallelism cannot significantly improve on the best sequential solutions for unification. The dual problem of computing the congruence closure of an equivalence relation is also logspace complete for P. However, it is shown that for the problem of term matching, an important subcase of unification, there is a good parallel algorithm using O(log 2 n) time and nO(1) processors on a PRAM. For the O(log2 n) parallel time upper bound it is assumed that the terms are represented by directed acyclic graphs; if the longer string representation is used an O(log n) parallel time bound is obtained. (Author)
Polynomialtime implication problems for unary inclusion dependencies by S. S Cosmadakis(
Book
)
4 editions published in 1987 in English and held by 8 WorldCat member libraries worldwide
4 editions published in 1987 in English and held by 8 WorldCat member libraries worldwide
Efficient parallelism for structured data : directed reachability in SP dags by
Foto Afrati(
Book
)
2 editions published in 1988 in English and held by 7 WorldCat member libraries worldwide
2 editions published in 1988 in English and held by 7 WorldCat member libraries worldwide
Constraint query languages by
P. C Kanellakis(
Book
)
5 editions published between 1989 and 1990 in English and held by 7 WorldCat member libraries worldwide
Abstract: "We discuss the relationship between constraint programming and database query languages. We show that bottomup 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."
5 editions published between 1989 and 1990 in English and held by 7 WorldCat member libraries worldwide
Abstract: "We discuss the relationship between constraint programming and database query languages. We show that bottomup 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."
Unification and ML type reconstruction by
P. C Kanellakis(
Book
)
2 editions published in 1990 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1990 in English and held by 6 WorldCat member libraries worldwide
A data structure for arc insertion and regular path finding by
Adam Louis Buchsbaum(
Book
)
2 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Abstract: "Let L be the language defined by some deterministic kstate automaton with accepting states F, and let G be a directed graph with n nodes and m labeled arcs. The dynamic Lpath problem is to process efficiently and online two kinds of operations: (1) inserting arcs into G, and (2) given two nodes u and v in G, finding a path from u to v that is labeled by some word of L, or reporting that none exists. We present a data structure that supports insertion and regular path existence queries in O(nk²) amortized time and O([absolute value]F) worstcase time, respectively
2 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Abstract: "Let L be the language defined by some deterministic kstate automaton with accepting states F, and let G be a directed graph with n nodes and m labeled arcs. The dynamic Lpath problem is to process efficiently and online two kinds of operations: (1) inserting arcs into G, and (2) given two nodes u and v in G, finding a path from u to v that is labeled by some word of L, or reporting that none exists. We present a data structure that supports insertion and regular path existence queries in O(nk²) amortized time and O([absolute value]F) worstcase time, respectively
Parallel evaluation of recursive rule queries by S. C Cosmadakis(
Book
)
2 editions published in 1985 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1985 in English and held by 6 WorldCat member libraries worldwide
On the computational complexity of cardinality constraints in relational databases by
P. C Kanellakis(
Book
)
5 editions published in 1980 in English and held by 6 WorldCat member libraries worldwide
5 editions published in 1980 in English and held by 6 WorldCat member libraries worldwide
Efficient parallel algorithms can be made robust by
P. C Kanellakis(
Book
)
1 edition published in 1989 in English and held by 6 WorldCat member libraries worldwide
For the common case of failstop errors, we develop a general and easy to implement technique to make robust many efficient parallel algorithms, e.g., algorithms for all the problems listed above. More specifically, for any dynamic pattern of failstop errors on a CRCW PRAM with at least one surviving processor, our method increases the original algorithm cost by at most a polylog multiplicative factor. We also show that at least a log/loglog multiplicative overhead will be incurred for certain patterns of failures by any algorithm that implements robust solutions to the problems listed."
1 edition published in 1989 in English and held by 6 WorldCat member libraries worldwide
For the common case of failstop errors, we develop a general and easy to implement technique to make robust many efficient parallel algorithms, e.g., algorithms for all the problems listed above. More specifically, for any dynamic pattern of failstop errors on a CRCW PRAM with at least one surviving processor, our method increases the original algorithm cost by at most a polylog multiplicative factor. We also show that at least a log/loglog multiplicative overhead will be incurred for certain patterns of failures by any algorithm that implements robust solutions to the problems listed."
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Abiteboul, S. (Serge) Author Editor
 Brown University Department of Computer Science
 Goldin, Dina Q.
 Association for Computing Machinery Special Interest Group on Management of Data
 ACM Special Interest Group for Automata and Computability Theory
 Bancilhon, François Editor
 Delobel, C. 1938 Editor
 Shvartsman, Alex Allister 1955 Other Editor
 Van Hentenryck, Pascal Editor
 Wachter, R. F. Editor
Useful Links
Associated Subjects
Algorithms Artificial intelligence Automatic theorem proving Computational complexity Computer algorithms Computer programming Computer programsCorrectness Computers Computer science Computer scientists Constraint programming (Computer science) Database design Database management Databases Data structures (Computer science) Electronic data processing Electronic data processingDistributed processing Expert systems (Computer science) Faulttolerant computing Greece Information theory Kanellakis, P. C.(Paris C.), Ktheory Logic programming Microprocessors ML (Computer program language) Objectoriented databases Objectoriented programming (Computer science) Parallel processing (Electronic computers) Programming (Mathematics) Programming languages (Electronic computers) Relational databases Rhode IslandProvidence
Covers
Alternative Names
Kanellakis, Paris
Kanellakis, Paris 19531995
Kanellakis Paris C.
Kanellakis, Paris C. 1953
Kanellakis, Paris C. 19531995
Kanellakis Paris Christos
Kanellakis, Paris Christos 19531995
Paris Kanellakis Greek database researcher
Paris Kanellakis griechischer Informatiker
Paris Kanellakis informaticien grec
Paris Kanellakis informáticu teóricu griegu (1953–1995)
Paris Kanellakis informaticus uit Griekenland (19531995)
Парис Канеллакис
Паріс Канеллакіс
פריס קנלאקיס
پاریس کانالاکیس
パリス・カーネラキス
Languages