## How GitOps Boosts Business Performance: The Facts  ## I NTRODUCTION As cloud-native applications have become more prevalent for organizations in all industries, from manufacturing and banking to retail and travel. Every business must innovate to survive. Every company is a technology company now. Yet, like all approaches to ability to create and operate software to achieve their goals. ## V elocity equates to competitive business success DORA research shows that organizations with the best velocity on four key measures are

server-side architecture in a Go project • Especially for teams who do not have Go experience in business ## @hgsgtk Kazuki Higashiguchi / Backend engineer in Japan BASE BANK, Inc. / Dev Division / Tech server-side architecture 1. Keep a design easy to change - > Separate external input/output and business logic 2. Reach common understanding of implementation policies in a team • -> To make readable I need server-side architecture 1. Keep a design easy to change We are not able to achieve business logic "common understanding" ### 2. Common understanding of implementation policies in a team

Overview • The own Predict Logics • Exclusive Ownership & Mutable Borrow • Hoare Logic Examples • Separation Logic • Rc ## Background  ## Logics Hoare Logic  Given the precondition

Principle 45 3.8 Induction by Pattern Matching 47 3.9 Summary of New Lean Constructs 49 II Functional-Logic Programming 51 4 Functional Programming 53 4.1 Inductive Types 53 4.2 Structural Induction 138 8.7 Parallelism ..... 139 9 Hoare Logic ..... 143 9.1 Hoare Triples ..... 143 9.2 Hoare Rules ..... 144 9.3 A Semantic Approach to Hoare Logic ..... 146 9.4 First Program: Exchanging Two logical argument expressed in a logical formalism. In this context, “formal” means “logical” or “logic-based.” Logicians—the mathematicians of logics—carried out formal proofs on papers decades before

Background ..... 61 4.7.2 Challenges ..... 62 4.7.3 Goal ..... 62 4.7.4 Core Concept ..... 62 Logic Column ..... 62 Cipher Column ..... 62 Query Assistant Column ..... 62 Plain Column ..... 62 269 Encryption Rule 269 Encryption Process 271 7.4.2 Detailed Solution 272 New Business 272 Online Business Transformation 273 7.4.3 The advantages of Middleware encryption service 278 7.4 org.apache.shardingsphere.proxy.Bootstrap, how to solve it? 304 7.7.5 5. [Proxy] How to add a new logic schema dynamically when use ShardingSphere-Proxy? 304 7.7.6 6. [Proxy] How to use a suitable database

spring-boot-starter of certain datasource pool(such as druid)? ..... 300 7.21 How to add a new logic schema dynamically when use ShardingSphere-Proxy? ..... 301 7.22 How to use a suitable database of scenarios. Architects can adjust the system architecture to the most applicable one to current business more freely. ### 1.2 Features #### 1.2.1 Data Sharding • Database sharding & Table sharding be divided into vertical sharding and horizontal sharding. ## V ertical Sharding According to business sharding method, it is called vertical sharding, or longitudinal sharding, the core concept of which

58 4.8.1 Background...58 4.8.2 Challenges...58 4.8.3 Goal...59 4.8.4 Core Concept...59 Logic Column...59 Cipher Column...59 Query Assistant Column...59 Plain Column...59 4.8.5 Use Norms .... 279 Encryption Process ..... 281 7.5.2 Detailed Solution ..... 282 New Business ..... 282 Online Business Transformation ..... 284 7.5.3 The advantages of Middleware encryption service apache.shardingsphere.proxy.Bootstrap, how to solve it? ..... 346 7.8.5 [Proxy] How to add a new logic schema dynamically when use ShardingSphere-Proxy? ..... 346 7.8.6 [Proxy] How to use a suitable

Background ..... 60 4.8.2 Challenges ..... 60 4.8.3 Goal ..... 61 4.8.4 Core Concept ..... 61 Logic Column ..... 61 Cipher Column ..... 61 Query Assistant Column ..... 61 Plain Column ..... 61 .... 290 Encryption Process ..... 292 7.5.2 Detailed Solution ..... 293 New Business ..... 293 Online Business Transformation ..... 295 7.5.3 The advantages of Middleware encryption service apache.shardingsphere.proxy.Bootstrap, how to solve it? ..... 358 7.8.5 [Proxy] How to add a new logic schema dynamically when use ShardingSphere-Proxy? ..... 358 7.8.6 [Proxy] How to use a suitable

Existing services ..... 46 3.8.5 Related References ..... 46 3.8.6 Core Concept ..... 46 Logic column ..... 46 Cipher column ..... 46 Query assistant column ..... 46 Plain column ..... 46 Encryption Rules 395 7.7.3 Encryption Process 396 Detailed Solution 398 7.7.4 New Business 398 7.7.5 Online Business Transformation 399 The advantages of Middleware encryption service 405 Solution apache.shardingsphere.proxy.Bootstrap, how to solve it? ..... 456 8.2.2 Proxy How to add a new logic database dynamically when use ShardingSphere-Proxy? ..... 456 8.2.3 Proxy How to use suitable database

Existing services ..... 45 3.8.5 Related References ..... 45 3.8.6 Core Concept ..... 45 Logic column ..... 45 Cipher column ..... 46 Query assistant column ..... 46 Plain column ..... 46 7.7.3 Encryption Process ..... 423 Detailed Solution ..... 425 7.7.4 New Business ..... 425 7.7.5 Online Business Transformation ..... 426 The advantages of Middleware encryption service ... apache.shardingsphere.proxy.Bootstrap, how to solve it? ..... 495 8.2.2 Proxy How to add a new logic database dynamically when use ShardingSphereProxy? ..... 495 8.2.3 Proxy How to use suitable database