Filters








2,604 Hits in 4.9 sec

Confluence operators and their relationships with revision, update and merging

Sébastien Konieczny, Ramon Pino Pérez
2013 Annals of Mathematics and Artificial Intelligence  
In this paper we introduce confluence operators, that are inspired by the existing links between belief revision, update and merging operators.  ...  Confluence operators are to merging operators what update operators are to revision operators.  ...  We give also in this section some relationships between revision, update and merging operators. Section 3 introduces formally the confluence operators.  ... 
doi:10.1007/s10472-013-9340-3 fatcat:2cf4wt36obek7fee47k4ddv66y

Editorial introduction to the special issue

Salem Benferhat
2013 Annals of Mathematics and Artificial Intelligence  
Four of the five papers are fully revised and extended versions of contributions initially presented at the Fifth International Conference on Scalable Uncertainty Management (SUM'11) The two first papers  ...  concern extensions of logic-based programming languages to deal with uncertain information.  ...  The third paper by Sébastien Konieczny and Ramon Pino Pérez entitled "Confluence operators and their relationships with Revision, Update and Merging?" deals with dynamics of knowledge.  ... 
doi:10.1007/s10472-013-9354-x fatcat:tags3zayhbc3zmjwzv2mr4ah54

Logic Based Merging

Sébastien Konieczny, Ramón Pino Pérez
2011 Journal of Philosophical Logic  
We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory.  ...  Among these operators, one can quote revision [1, 44, 45, 61] , update [52, 60], extrapolation [38], etc.  ...  Acknowledgements The authors would like to thank the reviewers and Jérôme Lang for their remarks which have greatly contributed to improve the paper.  ... 
doi:10.1007/s10992-011-9175-5 fatcat:ntje45ahdbcpniinhemtzcdrli

Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches

Raphael Cóbe, Renata Wassermann, Fabio Kon
2011 Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies  
We focus on ontology merging and show that pragmatic and theoretical approaches are not integrated and that both could benefit from a closer relationship.  ...  In this paper, we enumerate a few attempts to deal with inconsistencies while merging knowledge bases.  ...  Revesz [Revesz 1995 ] claims that revision and update operators are characterized by the inclusion of knowledge that is either more or less relevant (or trustful) than the knowledge previously defined  ... 
dblp:conf/ontobras/CobeWK11 fatcat:p574hzx4ing53nqvmchpprsqai

Coordination Avoidance in Database Systems (Extended Version) [article]

Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica
2014 arXiv   pre-print
We analyze the invariant confluence of common invariants and operations from real-world database systems (i.e., integrity constraints) and applications and show that many are invariant confluent and therefore  ...  By operating on application-level invariants over database states (e.g., integrity constraints), invariant confluence analysis provides a necessary and sufficient condition for safe, coordination-free  ...  , Nick Lanham, and Gene Pang for engineering contributions to our revised database prototype.  ... 
arXiv:1402.2237v4 fatcat:4zkgi7xjczeadbq6sllkmn7f5e

Coordination avoidance in database systems

Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica
2014 Proceedings of the VLDB Endowment  
We analyze the invariant confluence of common invariants and operations from real-world database systems (i.e., integrity constraints) and applications and show that many are invariant confluent and therefore  ...  By operating on application-level invariants over database states (e.g., integrity constraints), invariant confluence analysis provides a necessary and sufficient condition for safe, coordination-free  ...  by executing transactions and merging their results is closed (w.r.t. validity) under merge.  ... 
doi:10.14778/2735508.2735509 fatcat:rhnvbeu5bjcx3oyt3dlhzvcqru

Semantics of Concurrent Revisions [chapter]

Sebastian Burckhardt, Daan Leijen
2011 Lecture Notes in Computer Science  
Finally, we show we can visualize the nonlinear history of state in our computations using revision diagrams that clarify the synchronization between tasks and allow local reasoning about state updates  ...  We show that the consistency guarantees of our calculus are a logical extension of snapshot isolation with support for conflict resolution and nesting.  ...  Acknowledgments We thank Tim Harris and Tom Ball for helpful comments and discussions.  ... 
doi:10.1007/978-3-642-19718-5_7 fatcat:vxmzc5hlujaytn6noqqgt4o7t4

Supporting executable mappings in model management

Sergey Melnik, Philip A. Bernstein, Alon Halevy, Erhard Rahm
2005 Proceedings of the 2005 ACM SIGMOD international conference on Management of data - SIGMOD '05  
It offers developers powerful operators, such as Compose, Diff, and Merge, that are applied to models, such as database schemas or interface specifications, and to mappings between models.  ...  Our semantics captures previously-proposed desiderata and is language-independent: the effect of the operators is expressed in terms of what they do to the instances of models and mappings.  ...  Acknowledgements The authors thank Alan Nash for helpful discussions and comments on a preliminary version of this paper.  ... 
doi:10.1145/1066157.1066177 dblp:conf/sigmod/MelnikBHR05 fatcat:ir62uy5yrndrzp6b7yvdug46we

Logic and lattices for distributed programming

Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, David Maier
2012 Proceedings of the Third ACM Symposium on Cloud Computing - SoCC '12  
A standard technique is to adopt a vocabulary of commutative operations; this avoids the risk of inconsistency due to message reordering.  ...  Bloom L generalizes Bloom to support lattices and extends the power of CALM analysis to whole programs containing arbitrary lattices.  ...  Sparks, Matei Zaharia, and the anonymous re-viewers for their helpful feedback on this paper.  ... 
doi:10.1145/2391229.2391230 dblp:conf/cloud/ConwayMAHM12 fatcat:4cjawmlrirbpnlitfh2mom4rqa

EOSC-hub D1.7 Report on EOSC-hub Service Management System

Małgorzata Krakowian, Sy Holsinger, Pavel Weber
2019 Zenodo  
(H) A status diagram could be used to increase the clarity of the different statuses a problem can have, and their relationships.  ...  (H) Procedure CSI2 should be reviewed and revised to consider audit findings as a source of improvements along with process reviews and individual improvement suggestions.  ...  Update tasks with past deadlines Service Order Global Dashboard 11. Add the roles to the roles table and descriptions and links to where further information is. 12.  ... 
doi:10.5281/zenodo.4598215 fatcat:k3mv2p7xbnccnp424kfzvlpoz4

Full-learning rotational quaternion convolutional neural networks and confluence of differently represented data for PolSAR land classification

Yuya Matsumoto, Ryo Natsuaki, Akira Hirose
2022 IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing  
ACKNOWLEDGMENT The Advanced Land Observing Satellite (ALOS) original data are copyrighted by the Japan Aerospace Exploration Agency (JAXA) and provided under JAXA Fourth ALOS Research Announcement PI No  ...  In contrast, QCNNs deal with the input image as a single quaternion matrix and perform quaternion operation without the reduction of the channels.  ...  We train two networks with these features independently. Then, we merge their two classification results to obtain final decision to compensate for the shortcomings of the respective features.  ... 
doi:10.1109/jstars.2022.3164431 fatcat:trnqpcrpybboxebgsh4pclax6q

Managing Assurance Cases in Model Based Software Systems

Sahar Kokaly
2017 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)  
Model Management focuses on a high-level view in which entire models and their relationships (i.e., mappings between models) can be manipulated using specialized operators to achieve useful outcomes.  ...  We support the presented approach with tooling and a case study.  ...  (II) In order to achieve confluence, F is required to be commutative and associative with itself and with all relationship composition operators used in item (I).  ... 
doi:10.1109/icse-c.2017.44 dblp:conf/icse/Kokaly17 fatcat:bwtpzkmqrzhzpc4jm3lupevgmq

FAIMS3 Alpha User Acceptance Testing Report

Brian Ballsun-Stanton, Nuria Lorente, Nathan Reid, Shawn Adrian Ross, Penny Crook
2021 Zenodo  
A number of tests for the creation, retrieval, update and deletion (CRUD) of data, on on multiple operating systems in online and offline environments, were successfully executed.  ...  This report is intended as a short summary and evaluation of the UAT. For more details on FAIMS3 see https://osf.io/mqk45/.  ...  (relationships).  ... 
doi:10.5281/zenodo.5030771 fatcat:d656sjk2zfadrhrgigdzixeuvq

Data Provenance

Peter Buneman, Wang-Chiew Tan
2019 SIGMOD record  
CPR differs from traditional group commit implementations in two ways: (1) it provides a semantic description of committed operations, of the form "all operations until time ti from session i"; and (2)  ...  We then take a step beyond invariant confluence and introduce a generalization of invariant confluence, called segmented invariant confluence, that allows us to replicate non-invariant confluent objects  ...  We thank the members of UC San Diego's Database Lab for their feedback on this work.  ... 
doi:10.1145/3316416.3316418 fatcat:u4lmbha4fjgajlc46r66ryh7vi

LVars

Lindsey Kuper, Ryan R. Newton
2013 Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '13  
We give a proof of determinism and a prototype implementation for a language with LVars and describe how to extend the LVars model to support a limited form of nondeterminism that admits failures but never  ...  We present LVars, a new model for deterministicby-construction parallel programming that generalizes existing single-assignment models to allow multiple assignments that are monotonically increasing with  ...  Acknowledgments Thanks to Aaron Turon, Neel Krishnaswami, Amr Sabry, and Chung-chieh Shan for many insightful conversations and for their expert feedback at various stages of this work.  ... 
doi:10.1145/2502323.2502326 dblp:conf/icfp/KuperN13 fatcat:hhmxbuqrvvao5mo4yynu5hdiky
« Previous Showing results 1 — 15 out of 2,604 results