Incremental checking of OCL constraints with aggregates through SQL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9381, Issue , 2015, Pages 199-213

  Oriol, Xavier ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Aggregates; Constraints Checking; OCL; SQL

Indexed keywords

DATA MINING; INFORMATION MANAGEMENT;

CONSTRAINT VIOLATION; CONSTRAINTS CHECKING; DATA UPDATE; INCREMENTAL CHECKING; OCL; SQL; SQL QUERY;

AGGREGATES;

EID: 84951803713     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-25264-3_15     Document Type: Conference Paper

References (21)

1. Object Management Group (OMG): Unified Modeling Language (UML) Superstructure Specification, version 2.4.1 (2011). http://www.omg.org/spec/UML/
2. Object Management Group (OMG): Object Constraint Language (UML), version 2.4 (2014). http://www.omg.org/spec/OCL/
3. Heidenreich, F., Wende, C., Demuth, B.: A framework for generating query language code from OCL invariants. ECEASST 9, 1–10 (2008)
4. Egea, M., Dania, C., Clavel, M.: MySQL4OCL: a stored procedure-based MySQL code generator for OCL. ECEASST 36, 1–16 (2010)
5. Uhl, A., Goldschmidt, T., Holzleitner, M.: Using an OCL impact analysis algorithm for view-based textual modelling. ECEASST 44, 1–20 (2011)
6. Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 203–217. Springer, Heidelberg (2010)
7. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459–1478 (2009)
8. Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W., Ramos, I., Abrah˜ao, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 670–686. Springer, Heidelberg (2014)
9. Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proceedings of the 6th National Conference on Artificial Intelligence, vol. 1, AAAI. pp. 42–47. AAAI Press (1987)
10. Oriol, X., Teniente, E.: Incremental checking of OCL constraints through SQL queries. In: Proceedings of the 14th International Workshop on OCL and Textual Modelling, pp. 23–32 (2014)
11. Franconi, E., Mosca, A., Oriol, X., Rull, G., Teniente, E.: Logic foundations of the OCL modelling language. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 657–664. Springer, Heidelberg (2014)
12. Afrati, F.N., Chirkova, R.Y.: Selecting and using views to compute aggregate queries. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol. 3363, pp. 383–397. Springer, Heidelberg (2005)
13. Cohen, S., Nutt, W., Serebrenik, A.: Rewriting aggregate queries using views. In: Proceedings of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 1999, pp. 155–166. ACM, New York (1999)
14. Consens, M.P., Mendelzon, A.O.: Low complexity aggregation in graphlog and datalog. In: Abiteboul, S., Kanellakis, P.C. (eds.) ICDT 1990. LNCS, vol. 470, pp. 379–394. Springer, Heidelberg (1990)
15. Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM TOSEM 21(2), 13 (2012)
16. Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007)
17. Olivé, A.: Integrity constraints checking in deductive databases. In: Proceedings of the 17th International Conference on Very Large Data Bases (VLDB), pp. 513–523 (1991)
18. Gray, J., Chaudhuri, S., Bosworth, A., Layman, A., Reichart, D., Venkatrao, M., Pellow, F., Pirahesh, H.: Data cube: a relational aggregation operator generalizing group-by, cross-tab, and sub-totals. Data Min. Knowl. Discov. 1(1), 29–53 (1997)
19. Oriol, X., Teniente, E., Tort, A.: Fixing up non-executable operations in UML/OCL conceptual schemas. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 232–245. Springer, Heidelberg (2014)
20. Al-Jumaily, H.T., Cuadra, D., Martínez, P.: OCL2Trigger: deriving active mechanisms for relational databases using model-driven architecture. J. Syst. Softw. 81(12), 2299–2314 (2008)
21. Falleri, J., Blanc, X., Bendraou, R., da Silva, M.A.A., Teyton, C.: Incremental inconsistency detection with low memory overhead. Softw. Pract. Exper. 44(5), 621–641 (2014)