欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Artix Orchestration
来自开放百科 - 灰狐
mysql> use artixbpel;
Database changed
mysql> show tables;
+--------------------------+ | Tables_in_artixbpel | +--------------------------+ | aealarm | | aecatalog | | aeconfigsettings | | aecoordination | | aecounter | | aedeploymentgroup | | aedeploymentlog | | aeengine | | aeglobalpdefs | | aeindexedproperty | | aeindexedpropertyforplan | | aeindexedpropertyvalue | | aelicense | | aelock | | aemetainfo | | aepartnerlinks | | aeplan | | aeplanresource | | aeprocess | | aeprocessjournal | | aeprocesslog | | aequeuedreceive | | aeservice | | aeserviceallowedroles | | aetransmissiontracker | | aeurnvalues | | aevariable | | aewsrmstatetracker | +--------------------------+ 28 rows in set (0.00 sec)
分享您的观点