Sciweavers

3319 search results - page 285 / 664
» Type Theoretical Databases
Sort
View
ADC
2003
Springer
123views Database» more  ADC 2003»
15 years 8 months ago
Transactions in Loosely Coupled Distributed Systems
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by a...
Alan Fekete, Paul Greenfield, Dean Kuo, Julian Jan...
ICDT
2003
ACM
127views Database» more  ICDT 2003»
15 years 8 months ago
Incremental Validation of XML Documents
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs ...
Yannis Papakonstantinou, Victor Vianu
123
Voted
ICDT
2003
ACM
127views Database» more  ICDT 2003»
15 years 8 months ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
ISMIS
2003
Springer
15 years 8 months ago
Development of Generic Search Method Based on Transformation Invariance
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
Fuminori Adachi, Takashi Washio, Hiroshi Motoda, A...
DEXAW
2002
IEEE
102views Database» more  DEXAW 2002»
15 years 8 months ago
Designing a Curious Negotiator
In negotiation the exchange of contextual information is as important as the exchange of specific offers. The curious negotiator is a multiagent system with three types of agent. ...
John K. Debenham, Simeon J. Simoff