FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384345691> ?p ?o ?g. }

• W4384345691 abstract "Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are created redundantly during the development cycle, slowing down the FinTech systems and causing unnecessary alerts. We present EQDAC, an efficient decision procedure to determine the data constraint equivalence. We first propose the symbolic representation for semantic encoding and then introduce two light-weighted analyses to refute and prove the equivalence, respectively, which are proved to achieve in polynomial time. We evaluate EQDAC upon 30,801 data constraints in a FinTech system. It is shown that EQDAC detects 11,538 equivalent data constraints in three hours. It also supports efficient equivalence searching with an average time cost of 1.22 seconds, enabling the system to check new data constraints upon submission." @default.
• W4384345691 created "2023-07-15" @default.
• W4384345691 creator A5007240615 @default.
• W4384345691 creator A5013596682 @default.
• W4384345691 creator A5023409517 @default.
• W4384345691 creator A5054233489 @default.
• W4384345691 creator A5075845576 @default.
• W4384345691 date "2023-05-01" @default.
• W4384345691 modified "2023-10-02" @default.
• W4384345691 title "Verifying Data Constraint Equivalence in FinTech Systems" @default.
• W4384345691 cites W1545038039 @default.
• W4384345691 cites W1989310296 @default.
• W4384345691 cites W1990880047 @default.
• W4384345691 cites W2026745535 @default.
• W4384345691 cites W2033267049 @default.
• W4384345691 cites W2036265926 @default.
• W4384345691 cites W2040856861 @default.
• W4384345691 cites W2044901139 @default.
• W4384345691 cites W2045437741 @default.
• W4384345691 cites W2074888021 @default.
• W4384345691 cites W2122917446 @default.
• W4384345691 cites W2169698083 @default.
• W4384345691 cites W2418260908 @default.
• W4384345691 cites W2441695939 @default.
• W4384345691 cites W2503947316 @default.
• W4384345691 cites W2613232875 @default.
• W4384345691 cites W2623182815 @default.
• W4384345691 cites W2626217303 @default.
• W4384345691 cites W2748925796 @default.
• W4384345691 cites W2888541832 @default.
• W4384345691 cites W2888632077 @default.
• W4384345691 cites W2898350230 @default.
• W4384345691 cites W2899573209 @default.
• W4384345691 cites W2954725723 @default.
• W4384345691 cites W2964142859 @default.
• W4384345691 cites W2970918514 @default.
• W4384345691 cites W2971026710 @default.
• W4384345691 cites W2979746918 @default.
• W4384345691 cites W2996317448 @default.
• W4384345691 cites W3033423882 @default.
• W4384345691 cites W3098557859 @default.
• W4384345691 cites W3108419307 @default.
• W4384345691 cites W3117137355 @default.
• W4384345691 cites W3173766797 @default.
• W4384345691 cites W3174114543 @default.
• W4384345691 cites W3175217296 @default.
• W4384345691 cites W3177908991 @default.
• W4384345691 cites W3183134251 @default.
• W4384345691 cites W3186533773 @default.
• W4384345691 cites W3207460439 @default.
• W4384345691 cites W3215034625 @default.
• W4384345691 cites W4220848444 @default.
• W4384345691 cites W4234066440 @default.
• W4384345691 cites W4284714035 @default.
• W4384345691 cites W3163732942 @default.
• W4384345691 doi "https://doi.org/10.1109/icse48619.2023.00117" @default.
• W4384345691 hasPublicationYear "2023" @default.
• W4384345691 type Work @default.
• W4384345691 citedByCount "0" @default.
• W4384345691 crossrefType "proceedings-article" @default.
• W4384345691 hasAuthorship W4384345691A5007240615 @default.
• W4384345691 hasAuthorship W4384345691A5013596682 @default.
• W4384345691 hasAuthorship W4384345691A5023409517 @default.
• W4384345691 hasAuthorship W4384345691A5054233489 @default.
• W4384345691 hasAuthorship W4384345691A5075845576 @default.
• W4384345691 hasBestOaLocation W43843456912 @default.
• W4384345691 hasConcept C11413529 @default.
• W4384345691 hasConcept C116409475 @default.
• W4384345691 hasConcept C118615104 @default.
• W4384345691 hasConcept C124101348 @default.
• W4384345691 hasConcept C154945302 @default.
• W4384345691 hasConcept C17744445 @default.
• W4384345691 hasConcept C199539241 @default.
• W4384345691 hasConcept C2524010 @default.
• W4384345691 hasConcept C2776036281 @default.
• W4384345691 hasConcept C2776359362 @default.
• W4384345691 hasConcept C2776436953 @default.
• W4384345691 hasConcept C2780069185 @default.
• W4384345691 hasConcept C33762810 @default.
• W4384345691 hasConcept C33923547 @default.
• W4384345691 hasConcept C41008148 @default.
• W4384345691 hasConcept C67186912 @default.
• W4384345691 hasConcept C70846408 @default.
• W4384345691 hasConcept C77088390 @default.
• W4384345691 hasConcept C80444323 @default.
• W4384345691 hasConcept C94625758 @default.
• W4384345691 hasConceptScore W4384345691C11413529 @default.
• W4384345691 hasConceptScore W4384345691C116409475 @default.
• W4384345691 hasConceptScore W4384345691C118615104 @default.
• W4384345691 hasConceptScore W4384345691C124101348 @default.
• W4384345691 hasConceptScore W4384345691C154945302 @default.
• W4384345691 hasConceptScore W4384345691C17744445 @default.
• W4384345691 hasConceptScore W4384345691C199539241 @default.
• W4384345691 hasConceptScore W4384345691C2524010 @default.
• W4384345691 hasConceptScore W4384345691C2776036281 @default.
• W4384345691 hasConceptScore W4384345691C2776359362 @default.
• W4384345691 hasConceptScore W4384345691C2776436953 @default.
• W4384345691 hasConceptScore W4384345691C2780069185 @default.
• W4384345691 hasConceptScore W4384345691C33762810 @default.
• W4384345691 hasConceptScore W4384345691C33923547 @default.

• next