Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Reasoning about knowledge
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Representing and querying XML with incomplete information
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Models and issues in data stream systems
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Distributed computation of web queries using automata
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Computing simulations on finite and infinite graphs
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Exchanging intensional XML data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Dynamic XML documents with distribution and replication
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Lazy query evaluation for Active XML
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Active XML: peer-to-peer data and web services integration
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Lazy query evaluation for Active XML
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Resolution and Constraint Propagation for Semantic Web Services Discovery
Distributed and Parallel Databases
An environment for maintaining computation dependency in XML documents
Proceedings of the 2005 ACM symposium on Document engineering
An adaptive active rule system for automatic service discovery and cooperation
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Consistent data for inconsistent XML document
Information and Software Technology
Proceedings of the 17th international conference on World Wide Web
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Merging Hierarchically-Structured Documents in Workflow Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Tree Pattern Rewriting Systems
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
An XQuery-based trigger service to bring consistency management to data integration systems
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
CSchema: a downgrading policy language for XML access control
Journal of Computer Science and Technology
Satisfiability and relevance for queries over active documents
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
A simple (yet powerful) algebra for pervasive environments
Proceedings of the 13th International Conference on Extending Database Technology
A calculus and algebra for distributed data management
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Tree components programming: an application to XML
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Querying structural and behavioral properties of business processes
DBPL'07 Proceedings of the 11th international conference on Database programming languages
ARAXA: Storing and managing Active XML documents
Web Semantics: Science, Services and Agents on the World Wide Web
On the equivalence of distributed systems with queries and communication
Proceedings of the 14th International Conference on Database Theory
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Active XML (AXML) intensional data exchange
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Implicit service calls in ActiveXML through OWL-S
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A framework for distributed XML data management
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
A framework for XML-Based integration of data, visualization and analysis in a biomedical domain
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
On the improvement of active XML (AXML) representation and query evaluation
Information Systems Frontiers
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the equivalence of distributed systems with queries and communication
Journal of Computer and System Sciences
Data-Fu: a language and an interpreter for interaction with read/write linked data
Proceedings of the 22nd international conference on World Wide Web
Model-based, event-driven programming paradigm for interactive web applications
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Journal of Network and Computer Applications
Hi-index | 0.00 |
The increasing popularity of XML and Web services have given rise to a new generation of documents, called Active XML documents (AXML), where some of the data is given explicitly while other parts are given intensionally, by means of embedded calls to Web services. Web services in this context can exchange intensional information, using AXML documents as parameters and results.The goal of this paper is to provide a formal foundation for this new generation of AXML documents and services, and to study fundamental issues they raise. We focus on Web services that are (1) monotone and (2) defined declaratively as conjunctive queries over AXML documents. We study the semantics of documents and queries, the confluence of computations, termination and lazy query evaluation.