Filters








25,037 Hits in 3.9 sec

Referential actions as logical rules

Bertram Ludäscher, Wolfgang May, Georg Lausen
1997 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '97  
We obtain a constructive de nition by formalizing a set of referential actions RA as logical rules, and show that the declarative semantics of the resulting logic program PRA captures the intended abstract  ...  Referential actions are specialized triggers used to automatically maintain referential integrity.  ...  Therefore, we de ne an ordering <a on P-stable models which re ects this \application-speci c" preference. 6 Conclusion By formalizing referential actions as logical rules and exploiting the power of declarative  ... 
doi:10.1145/263661.263685 dblp:conf/pods/LudascherML97 fatcat:23b2uyr2mff6hjhwrz4um2bhae

Understanding the global semantics of referential actions using logic rules

Wolfgang May, Bertram Ludäscher
2002 ACM Transactions on Database Systems  
, (ii) the formalization of those and of the local "effect-propagating" rules, and (iii) the well-founded or stable model semantics from logic programming as "reasonable" global semantics for local rules  ...  Next, we formalize RA as a logic program P RA . The declarative, logic programming semantics of P RA then provide the constructive, global semantics of the referential actions.  ...  ACKNOWLEDGMENTS The authors thank Joachim Reinert and Georg Lausen for fruitful discussions especially in the early stages of this work, and Jörg Flum for interesting discussions about logic programming  ... 
doi:10.1145/582410.582411 fatcat:tne7l72cnjcf7bfx4b5c5xchlq

Referential actions: From logical semantics to implementation [chapter]

Bertram LudÄscher, Wolfgang May
1998 Lecture Notes in Computer Science  
Referential actions (rac's) are specialized triggers used to automatically maintain referential integrity.  ...  By formalizing RA as a logic program PRA, a constructive semantics is obtained.  ...  A constructive de nition providing a global semantics is obtained by formalizing a set of referential actions RA as a logic program P RA (Section 3.2).  ... 
doi:10.1007/bfb0100999 fatcat:i4jmybms2nh53e67wgktwta5fa

Modular Reasoning about Separation of Concurrent Data Structures [chapter]

Kasper Svendsen, Lars Birkedal, Matthew Parkinson
2013 Lecture Notes in Computer Science  
This breaks modularity, as libraries cannot be verified in isolation, since the appropriate specification depends on how clients intend to use the library.  ...  In this paper we propose a new logic and a new style of specification for thread-safe concurrent data structures.  ...  We have demonstrated that our logic and style of specification scales to implementations of fine-grained concurrent data structures without helping [8] .  ... 
doi:10.1007/978-3-642-37036-6_11 fatcat:7dxbnt37jna2rg2xs56nz55wda

Use-Case Metadata [chapter]

Michelle Finneran Dennedy, Jonathan Fox, Thomas R. Finneran
2014 The Privacy Engineer's Manifesto  
Logical Data Model Insert Referential Integrity Rule What is the impact on the related data entity when a new instance of the data entity is added?  ...  Logical Data Model Delete Referential Integrity Rule What is the impact on the related data entity when a new instance of the data entity is deleted?  ... 
doi:10.1007/978-1-4302-6356-2_15 fatcat:6q5po5qs3ndxzgk2a4xlgyboea

Western modernization and Marxist political theory: an alternative to lib-eralism Modernização ocidental e teoria política marxista: uma alternativa ao liberalismo

Leno Francisco Danner
2016 DoisPontos  
starting from a critic to conservative liberalism's and to new left's notion of the Western modernization as systemic institutional self-differentiation, self-referentiality and self-subsistence, I argue  ...  in the social world and as a political-normative dynamic.  ...  Then intersubjective rules, practices and institutions are like a contract which regulates individual actions and demands, the same way that such intersubjective rules, practices and institutions impose  ... 
doi:10.5380/dp.v13i1.43060 fatcat:i5bqjm5e5rdybiozofamq3jxuq

Page 2318 of Mathematical Reviews Vol. , Issue 82f [page]

1982 Mathematical Reviews  
As noted by Pappas, Lehrer’s original rule of evidence had the result that logically independent sentences cannot be accepted as evidence, and that therefore not all of the logically independent conjuncts  ...  Lehrer modifies his rule so as to include as evidence all logical consequences of what is accepted as evidence—suggesting, apparently, that conjunctions are always accepted as evidence before their conjuncts  ... 

Maintaining Database Integrity Using Data Macros In Microsoft Access

Ali Reza Bahreman, Mohammad Dadashzadeh
2013 Review of Business Information Systems (RBIS)  
The introduction of Data Macros in Microsoft Access 2010 addresses a major shortcoming of Access in enforcing business rules associated with a database application.  ...  For relation-type and data-type constraints, other than primary key integrity and referential integrity rules, Access leaves both the specification, as well as the enforcement, to program logic in data  ...  can be accomplished in the Before Change data macro for EMP table using an If program flow conditional block, a LookupRecord data block, and a RaiseError data action as follows: RaiseError (13, "Rule  ... 
doi:10.19030/rbis.v17i3.7999 fatcat:rnbc6jajtjepnodp3m2al6ph5e

Page 349 of Journal of Marital and Family Therapy Vol. 10, Issue 4 [page]

1984 Journal of Marital and Family Therapy  
It may be, as in the self-referential problems of “insomnia” or “anxiety attacks” or alternatively, of depression, that the direct and logical messages both given by others as well as by the person to  ...  To simply rule out the choice of an action such as a “symptom prescription” as a first choice is to adhere to a rigid orthodox while overlooking systemic analysis.  ... 

Environmental Representation of the Body

Adrian Cussins
2012 Review of Philosophy and Psychology  
$ of$ action,$ such$ as$ perception.$ So$ direct$ cognition$ rules$ out$ the$ going$ subapersonal$ response$ to$ the$ argument$ that$ I$ gave$ against$ referentialism.$ $Whether$perception$ and$action$  ...  $ content,$ then$ my$ knowledge$ would$not$ be$ sufIicient$ to$ rule$ in$<this>$ and$rule$out$<that>.$ $ My$ knowledge$would$establish$a$condition$on$the$action,$but$what$ I$need$in$addition$is$to$know  ... 
doi:10.1007/s13164-012-0086-3 fatcat:q3rgbu5xczfqdgqvkrwiyt4lme

Autopoiesis in Law and Society: A Rejoinder to Blankenburg

Gunther Teubner
1984 Law & society review  
The self-referential closure of the legal system can be found in the circular relation between legal decisions and normative rules: decisions refer to rules and rules to decisions.  ...  Since the concepts are tied to a developmental logic, Blankenburg sees them as normative projections of personal preferences into the future.  ... 
doi:10.2307/3053406 fatcat:5xalgtla2fcejjz4ynwhoauowq

Leśniewski-quantifiers and modal arguments in legal discourse

Burkhard Schäfer
2004 Logic and Logical Philosophy  
I propose a purely extensional logic which is based on Leśniewski's substitutional interpretation of quantification to analyse differences in the logical structure of the various criminal law doctrines  ...  Following an idea first proposed by Jerzy Wróblewski, this paper examines the usefulness of formal logic for comparative legal analysis.  ...  Only this reference is irrelevant for the logical rules. It is possible, but not necessary to interpret it as a sentence.  ... 
doi:10.12775/llp.1998.007 fatcat:p75mxvmmvbal5dto3y75ptzq6e

The semantics of an extended referential integrity for a multilevel secure relational data model

Sang-Won Lee, Yong-Han Kim, Hyoung-Joo Kim
2004 Data & Knowledge Engineering  
In addition, the MLS-RIS specifies the semantics of referential actions of the SQL update operations so as to preserve the referential integrity.  ...  For each type, it defines the referential integrity to be held between two multilevel relations, and provides resolution rules for the referential ambiguities.  ...  actions as in the standard relational data model.  ... 
doi:10.1016/s0169-023x(03)00122-8 fatcat:7d7m73nrbzbm5m4yviceer6oe4

Some Characteristics of the Referential and Inferential Predication in Classical Logic

Nijaz Ibrulj, Univeristy of Sarajevo, Faculty of Philosophy
2021 The Logical Foresight-Journal for Logic and Science  
Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic).  ...  , the ontological-referential status of conceptual content and the inferential-categorical status of logical forms.  ...  In his critical approach to ordinary (allgemeine) logic Kant has characterized Aristotle's syllogistic logic as non-referential logic, and his own transcendental logic as both inferential and referential  ... 
doi:10.54889/issn.2744-208x.2021.1.1.1 fatcat:btgp4k4l5rgz3kmclj2qkfgcem

Political praxis, social analysis and western modernization: a theoretical-political route for critical social theory

Leno Francisco Danner, Fernando Danner
2020 Griot: Revista de Filosofia  
Now, such politicity-carnality must be unveiled and used for an emancipatory democratic political praxis as the route for social analysis and political change, in opposition to the technical-logical understanding  ...  systems, and society as a whole.  ...  Now, as a technical-logical structure, its constitution, legitimation and evolution is based on a technical-logical action performed by a legal staff from inside the institutions.  ... 
doi:10.31977/grirfi.v20i2.1475 fatcat:uzlcqcjl5jckzggkaa2ssxnc5q
« Previous Showing results 1 — 15 out of 25,037 results