PROBE: a knowledge-oriented database management system
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
On specifications,theories, and models with higher types
Information and Control
Traversal recursion: a practical approach to supporting recursive applications
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Principles of artificial intelligence
Principles of artificial intelligence
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Grammar-like functional rules for representing query optimization alternatives
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
An algebra for structured office documents
ACM Transactions on Information Systems (TOIS)
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Static type-checking in object-oriented databases
Data Engineering
Extending the functional data model to computational completeness
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Gral: an extensible relational database system for geometric applications
VLDB '89 Proceedings of the 15th international conference on Very large data bases
An extension of SQL for querying graph relations
Computer Languages
Polymorphism, parameterization and typing: an algebraic specification perspective
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Type classes and overloading resolution via order-sorted unification
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Rule-based optimization and query processing in an extensible geometric database system
ACM Transactions on Database Systems (TODS)
A functional DBPL revealing high level optimizations
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Type inference in the presence of overloading, subtyping and recursive types
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Second-order signature: a tool for specifying data models, query processing, and optimization
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Spatial SQL: A Query and Presentation Language
IEEE Transactions on Knowledge and Data Engineering
PROBE Spatial Data Modeling and Query Processing in an Image Database Application
IEEE Transactions on Software Engineering
PICQUERY: A High Level Query Language for Pictorial Database Management
IEEE Transactions on Software Engineering
An Efficient Pictorial Database System for PSQL
IEEE Transactions on Software Engineering
Types for Data-Oriented Languages
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
Proceedings of the Third International Conference on Data Engineering
Aggregative Closure: An Extension of Transitive Closure
Proceedings of the Fifth International Conference on Data Engineering
Toward a General Spatial Data Model for an Object-Oriented DBMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Specifying Type Systems with Multi-Level Order-Sorted Algebra
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
SSD '89 Proceedings of the First Symposium on Design and Implementation of Large Spatial Databases
WG '92 Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science
Integrated Geographic Data Bases: The GADS Experience
Proceedings on Data Base Techniques for Pictorial Applications
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
An introduction to spatial database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Spatial Database Systems
GraphDB: Modeling and Querying Graphs in Databases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Framework for Order-Sorted Algebra
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Part and Complement: Fundamental Concepts in Spatial Relations
Annals of Mathematics and Artificial Intelligence
Modeling and querying moving objects in networks
The VLDB Journal — The International Journal on Very Large Data Bases
Time-Aggregated Graphs for Modeling Spatio-temporal Networks
Journal on Data Semantics XI
Modeling spatio-temporal network computations: a summary of results
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Spatio-temporal network databases and routing algorithms: a summary of results
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Spatial network modeling for databases
Proceedings of the 2011 ACM Symposium on Applied Computing
Hi-index | 0.00 |
Observing that networks are ubiquitous in applications for spatial databases, we define a new data model and query language that especially supports graph structures. This model integrates concepts of functional data modeling with order-sorted algebra. Besides object and data type hierarchies, graphs are available as an explicit modeling tool, and graph operations are part of the query language. Graphs have three classes of components, namely, nodes, edges, and explicit paths. These are at the same time object types within the object type hierarchy and can be used like any other type. Explicit paths are useful because real-world objects often correspond to paths in a network. Furthermore, a dynamic generalization concept is introduced to handle heterogeneous collections of objects in a query. In connection with spatial data types, this leads to powerful modeling and querying capabilities for spatial databases, in particular for spatially embedded networks such as highways, rivers, public transport, and so forth. We use multilevel order-sorted algebra as a formal framework for the specification of our model. Roughly spoken, the first-level algebra defines types and operations of the query language, whereas the second-level algebra defines kinds (collections of types) and type constructors as functions between kinds, and so provides the types that can be used at the first level.